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