从Petri网到形式描述技术与协议工程.pdf

软 件 学 报 从 网到形式描述技术和协议工程! 罗军舟 沈俊 顾冠群 东南大学计算机科学与工程系 南京 ( ( #$ % ’ ) * 摘要 协议是计算机 网络 的命脉 协议复杂性 的提高导致 了协议工程学科 的出现 该文首先分析 了协议工程 ( 各项活动 的内容 方法和相互关系 讨论 了各种形式描述技术 简称 的特性 + #)’*$,$*-$. /01 及其优缺点 从而引出基于 网理论 的 该文说 明了 网作为协议描述技术 的优势 指 出当前基于 ( 2$ /01 2$ 网的协议工程研究的难点 其 中面 向协议开发 的网工具是一项重要 的研究 内容 按照开放系统互连参考 2$ ( 模型的层次 总结 了国际上 的研究进展情况 并阐述 了未来 的研究趋势 最后从协议描述 协议验证与分析 以 ( + 及辅助测试与实现这 个角度给 出了基于 网的协议工程 的基本方法 3 2$ ( 关键词 协议 协议工程 形式描述技术 网 ( 2$ 中图法分类号 3 12 当前 人类伴随着信息革命正步入计算机 网络化 的信息时代 世纪全世界将成为一个 网络大家庭 计算 ( 机 网络 的发展是 网络协议设计和开发 的结果 协议与网络 同存亡共患难 协议是 网络 的血液和生命 在 年左 ( 右 的网络发展史 中 8 和 8 等著名体系结构和协议 已发挥 了不可估量 的作用 45 6 7 795 001:2 2 是协 议体 系 结构 的开 拓者 是协 议 的指路灯塔 是 目前盛 行 的事 实上 的工业 标 准; 6 8 8 ( 795 1:2 2 和 的出现 将使计算机 网络进入一个高速和高性能的时代 ( =12 512 0 14?1 随着 网络服务要求 的提高 网络系统的复杂性在协议方面体现 出空间分布性 并发性 异步