||
contents
1 一种基于进程代数的协议组合形式化模型
2 一种基于交互的网络服务体系结构描述语言
[1]
一种基于进程代数的协议组合形式化模型
沈 苏 彬
西比大学学报(自然科学版) 2004
摘要:目的探讨组合协议的组合规则和机制,用于描述和分析复杂的网络协议。方法运用通信
顺序进程理论,设计组合协议的形式化表示方法和运算规则。结果提出了一种基于通信顺序进
程理论的协议组合形式化模型,并在此模型基础上提出构造基本协议交互进程的一般规则,以及利
用基本协议交互进程组合协议的规则。结论通过对典型的连接建立过程和数据传递过程的组合
协议形式化描述,论证了这种协议组合形式化模型可以有效地描述协议顺序、选择和并行的组合模
式口
关键词:协议组合;进程代数;通信顺序进程;形式化方法
CSP
1.3 基本协议交互组合构件
2 协议组合规则与实例分析
[2]
一种基于交互的网络服务体系结构描述语言
杨 鹏 刘 业
东南大学学报(自然科学版) 2006
摘要:
在面向服务的新一代网络体系结构INSA参考模型研究的基础上,提出了一种基于交互
的网络服务体系结构描述语言INSADL.详细介绍了实体构件、交互连接件、端口、角色及网络体
系结构配置等主要建模元素的语法定义,并基于INSADL提出了以网络体系结构为中心的网络
系统开发思想,为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础.
关键词:网络体系结构;体系结构描述语言;实体构件;交互连接件
CSP -> 一种基于交互的网络服务体系结构描述语言INSADL
Archiver|手机版|科学网 ( 京ICP备07017567号-12 )
GMT+8, 2024-7-24 09:30
Powered by ScienceNet.cn
Copyright © 2007- 中国科学报社