摘要
形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于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)