| SDL—TRAN：一个形式描述语言SDL的交互式生成器 |
| |
| 引用本文： | 张尧学,彭明田.SDL—TRAN：一个形式描述语言SDL的交互式生成器[J].计算机研究与发展,1994,31(11):44-49. |
| |
| 作者姓名： | 张尧学 彭明田 |
| |
| 作者单位： | 清华大学计算机系 |
| |
| 摘 要： | 本文报告一种能将ＦＳＭ自动转换为ＳＤＬ描述的ＳＤＬ描述生成器－ＳＤＬ－ＴＲＡＮ。除了自动变换部分之外，ＳＤＬ－ＴＲＡＮ还包含一个具有友好用户接口的图形编辑器。
|
| 关 键 词： | 形式描述语言 交互式生成器 SDL语言 |
SDL_TRAN: An Interactive Generator for Formal Specification Language SDL |
| |
| Zhang Yaoxue,Penn Mingtian and Zhang Yue.SDL_TRAN: An Interactive Generator for Formal Specification Language SDL[J].Journal of Computer Research and Development,1994,31(11):44-49. |
| |
| Authors: | Zhang Yaoxue Penn Mingtian and Zhang Yue |
| |
| Affiliation: | Tsinghua Univ.100084 |
| |
| Abstract: | This paper reports an interactive generator for SDL_named SDL-TRAN,which Can automatically translate FSM into SDL specification.Besides the automatic part,SDL_TRAN includes a graphical editor. |
| |
| Keywords: | computer networks communicating systems formal specifications FSM SDL |
| 本文献已被 CNKI 维普 等数据库收录！ |
