用于通信网络协议开发的形式化方法

• 作者: 于全 潘红艳
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 协议工程 形式化方法 形式描述技术 SDL ESTELLE Petri网 LOTOS
• 年，卷（期）: 2004,（2）
• 所属期刊栏目: 网络与通信
• 页码范围: 129-130,134
• 页数: 3页
• 分类号: TP311
• 字数: 3336字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2004.02.050

摘要

阐述了在开发通信网络协议中遇到的困难,提出用协议工程的方法来开发通信网络协议.介绍了协议工程、形式化方法及核心技术形式描述技术和几个应用较广泛、较常见的形式化方法,即SDL、 ESTELLE、Petri网、LOTOS,并给出了对这些形式化方法的分析和评价.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	于全	中国电子设备系统工程公司研究所	53	860	15.0	28.0
2	潘红艳	中国科学技术大学研究生院	2	25	2.0	2.0