期刊文献+
共找到1篇文章
< 1 >
每页显示 20 50 100
SDL-TRAN-An Interactive Generator for Formal Description Language SDL
1
作者 张尧学 陈桦 +1 位作者 张越 刘国丽 《Journal of Computer Science & Technology》 SCIE EI CSCD 1996年第1期49-60,共12页
SDL (Specification and Description Language) is an international standardformal description language which has been widely used for the specificationand description of communication systems. SDL is based on the concep... SDL (Specification and Description Language) is an international standardformal description language which has been widely used for the specificationand description of communication systems. SDL is based on the concept ofthe state oriellted description technique - FSM (Finite State Machine). Thispaper reports an interactive generator for SDL, named SDL-TRAN, which canautomatically translate FSM expression into SDL description. Except for itsaatomatic translation part, SDLTRAN includes an userfriendly graPhical ed-itor which is used to get the other part of SDL description which cannot beautomatically translated. 展开更多
关键词 computer networking communication system formal specification FSM SDL
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部