10.3969/j.issn.1673-629X.2004.02.027
网络协议设计中形式结构模型的创建方法研究
形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于LOTOS技术的形式结构模型的创建方法.简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格.基于LOTOS技术,提出了网络协议开发过程中形式结构模型的创建原则和方法,此方法结合LOTOS语言特征,应用其描述规范风格,融协议结构、逐步改进和等级抽象为一体,简化了所开发协议的验证、测试和实现的复杂性.
LOTOS、形式结构模型、规范风格、网络协议
14
TP393(计算技术、计算机技术)
甘肃省自然科学基金32204
2004-03-05(万方平台首次上网日期,不代表论文的发表时间)
共4页
78-81