| 协议工程形式化方法的研究及辅助设计工具的实现 |
| |
| 引用本文： | 党华锐.协议工程形式化方法的研究及辅助设计工具的实现[J].西北大学学报,1996,26(1):21-25. |
| |
| 作者姓名： | 党华锐 |
| |
| 作者单位： | 西北大学计算机科学系 |
| |
| 摘 要： | 采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。
|
| 关 键 词： | 协议 形式化方法 面向对象 |
The Research of Formal Methods in Protocol Engineering and the Implementation of Auxilary Design Tools |
| |
| Dang Huarui.The Research of Formal Methods in Protocol Engineering and the Implementation of Auxilary Design Tools[J].Journal of Northwest University(Natural Science Edition),1996,26(1):21-25. |
| |
| Authors: | Dang Huarui |
| |
| Abstract: | The formal theory of computer communication protocols is researched in the engineeringview.Meanwhile the Peton that based on Petri Net theory and made by ourself is' described in detail'This work is a complement to methodology of protocol engineering. |
| |
| Keywords: | protocols formal methods object-oriented |
| 本文献已被 CNKI 维普 等数据库收录！ |
