浏览全部资源
扫码关注微信
1. 清华大学计算机系
2. 清华大学计算机系 北京 100084
纸质出版日期:1992
移动端阅览
[1]张尧学,史美林,朱劲松.一个基于知识的通信有限状态机生成器[J].通信学报,1992(02):10-14+48.
[1]张尧学,史美林,朱劲松.一个基于知识的通信有限状态机生成器[J].通信学报,1992(02):10-14+48. DOI:
DOI:
通信有限状态机(CFSM)是一种直观、易懂且描述能力较强的形式描述工具。它被广泛地用来描述通信协议等。但是
由于描述对象的复杂性和缺少适当的支援工具
通信有限状态机的生成一般依靠手工完成。这除了效率低外
也使得所产生的CFSM的性能取决于描述人员的习惯、经验、能力等。本文描述一个基于知识的CFSM半自动生成器。该生成器用专家系统开发语言OPS83构成
能交互地生成两个不含常见逻辑错误的互相传递消息的CFSM。另外
该生成器还以友好的用户接口:(图形、颜色、文字等方式)向用户展示CFSM的生成过程和生成结果。
0
浏览量
60
下载量
3
CSCD
关联资源
相关文章
相关作者
相关机构