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

• 作者: 张键 王继曾
• 来源期刊: 微机发展
• 学科: 工学
• 关键词: LOTOS 形式结构模型 规范风格 网络协议
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 软件工程
• 页码范围: 78-81
• 页数: 4页
• 分类号: TP393
• 字数: 4816字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2004.02.027

摘要

形式描述技术在协议设计中的应用是至关重要的和必不可少的,为形式规范确定一个合适的结构又是应用此技术的关键步骤,基于此文中重点研究了基于LOTOS技术的形式结构模型的创建方法.简要介绍了开发网络协议的形式描述技术、网络协议的结构概念、等级抽象和LOTOS描述规范风格.基于LOTOS技术,提出了网络协议开发过程中形式结构模型的创建原则和方法,此方法结合LOTOS语言特征,应用其描述规范风格,融协议结构、逐步改进和等级抽象为一体,简化了所开发协议的验证、测试和实现的复杂性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王继曾	兰州理工大学电信工程学院	42	176	8.0	10.0
2	张键	兰州理工大学电信工程学院	4	6	2.0	2.0