期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

协议工程形式化方法的研究及辅助设计工具的实现 被引量：2

The Research of Formal Methods in Protocol Engineering and the Implementation of Auxilary Design Tools
下载PDF
导出
摘要 采用工程的方法对计算机通信协议形式化理论进行了研究，并详细叙述了所设计的、基于Ｐｅｔｒｉ网理论的辅助设计工具Ｐｅｔｏｎ，是对“协议工程”方法学的一种补充。 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.
作者 党华锐
机构地区 西北大学计算机科学系
出处 《西北大学学报（自然科学版）》 CAS CSCD 1996年第1期21-25,共5页 Journal of Northwest University（Natural Science Edition）
基金 陕西省自然科学基金
关键词 计算机网络 通信协议 协议工程 形式化 protocols formal methods object-oriented
分类号 TP393 [自动化与计算机技术—计算机应用技术] TN913.2 [电子电信—通信与信息系统]
  • 相关文献

参考文献3

  • 1Liu M T，IEEE Software，1992年，21卷，21页
  • 2党华锐，计算机学报，1991年，6卷，7期，23页
  • 3李腊元，计算机研究与发展，1989年，17卷，12期，40页

同被引文献9

  • 1董迎飞,王鼎兴,郑纬民.分布存储多机系统中的消息传递技术[J].计算机研究与发展,1994,31(7):1-9. 被引量：14
  • 2Doreen L Galli.分布式操作系统:原理与实践[M].北京:机械工业出版社,2003.
  • 3Kristensen L M, Christensen S, Jensen K. The practitioner's guide to coloured petri nets[J]. International Journal on Software Tools for Technology Transfer, Springer, 1998,(2):98-132.
  • 4CPN Tools Online[EB/OL].http://www. daimi.au.dk/CPNTools/.
  • 5Riesen R, Maccabe A B. RMPP:the reliable message passing protocol[A]. Proceedings of the 27th Annual IEEE Conference on Local Computer Networks(LCN'02),2002.658-666.
  • 6Jensen K. An introduction to the practical use of coloured petri nets [J]. Lecture Notes in Computer Science, Springer-Verlag,1998,1492:237-292.
  • 7Jensen K, Christensen S, Kristensen L M. CPN tools occurrence graph manual, version 0.1 [Z]. University of Aarhus, 2002.
  • 8Lars M. Kristensen,Soren Christensen,Kurt Jensen. The practitioner’s guide to coloured Petri nets[J] 1998,International Journal on Software Tools for Technology Transfer(2):98～132
  • 9申俊,郑纬民,鞠大鹏.FMP:一种适用于机群系统的快速消息传递机制[J].计算机学报,1998,21(7):595-602. 被引量：11

引证文献2

西北大学学报（自然科学版）
1996年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部