期刊文献+

网络协议设计中形式结构模型的创建方法研究

Study of Modeling Formal Structure in Network Protocol Design
下载PDF
导出
摘要 形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于LOTOS技术的形式结构模型的创建方法。简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格。基于LOTOS技术,提出了网络协议开发过程中形式结构模型的创建原则和方法,此方法结合LOTOS语言特征,应用其描述规范风格,融协议结构、逐步改进和等级抽象为一体,简化了所开发协议的验证、测试和实现的复杂性。 The application of formal description technology in the design of protocol is essential and indispensable.Finding appropriate structures for formal specifications is a key step for the application.So this paper put focus on the methods of setting formal structure models based on the LOTOS.Indicates the formal description technology of developing network protocol,the architecture concept,level of abstraction and specification styles of LOTOS The principles of structuring are presented and the method of modeling formal structure is figured,which are based on the technology of LOTOS.The method takes characters of LOTOS,specification style,architecture concept,stepwise refinement and level of abstraction into account,which simplify the validation,test,implementation of the protocol specification.
作者 王继曾 张键
出处 《微机发展》 2004年第2期78-81,共4页 Microcomputer Development
基金 甘肃省自然科学基金资助项目(32204) 校科研发展基金资助项目(32204)
关键词 通信协议 网络协议 设计 形式结构模型 可靠性 安全性 LOTOS formal structural model specification style network protocol
  • 引文网络
  • 相关文献

参考文献2

二级参考文献4

  • 1李腊元,计算机局域网络理论及技术,1997年
  • 2Lin H A,IEEE Trans Comput,1993年,42卷,1期,15页
  • 3李腊元,J Comput Sci Technol,1990年,5卷,1期,64页
  • 4李腊元,Proc IEEE INFOCOM,1989年,74页

共引文献4

;
使用帮助 返回顶部