|
|||||
|
|
| RSL在协议形式化描述中的应用研究 | |
| 引用本文： | 顾翔,邱建林,蒋峥峥.RSL在协议形式化描述中的应用研究[J].计算机应用,2007,27(9):2236-2238. |
| 作者姓名： | 顾翔 邱建林 蒋峥峥 |
| 作者单位： | 南通大学 南通大学 |
| 基金项目： | 江苏省高校自然科学基金 , 江苏省教育厅青蓝工程项目 , 南通大学校科研和教改项目 |
| 摘 要： | 将RSL引入协议工程，探讨了对协议进行形式化描述的一条新途径。为RSL扩充了时间描述机制，讨论了基于两类基本模型（状态模型和进程模型）的协议描述方法及一般描述步骤。以示例方式给出了RIP路由简化算法的RSL形式化描述。与其他方法相比，扩充后的RSL描述能力强，描述手段灵活，能更有效地支持验证、测试等后续阶段的工作。 |
| 关 键 词： | 协议 形式化描述 RSL |
| 文章编号： | 1001-9081(2007)09-2236-03 |
| 收稿时间： | 2007-03-09 |
| 修稿时间： | 2007年3月9日 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |
| 点击此处可从《计算机应用》浏览原始摘要信息 | |
| 点击此处可从《计算机应用》下载全文 | |