contents

1 一种基于进程代数的协议组合形式化模型

2 一种基于交互的网络服务体系结构描述语言

[1]

一种基于进程代数的协议组合形式化模型
沈 苏 彬

西比大学学报(自然科学版)    2004

摘要:目的探讨组合协议的组合规则和机制，用于描述和分析复杂的网络协议。方法运用通信
顺序进程理论，设计组合协议的形式化表示方法和运算规则。结果提出了一种基于通信顺序进
程理论的协议组合形式化模型，并在此模型基础上提出构造基本协议交互进程的一般规则，以及利
用基本协议交互进程组合协议的规则。结论通过对典型的连接建立过程和数据传递过程的组合
协议形式化描述，论证了这种协议组合形式化模型可以有效地描述协议顺序、选择和并行的组合模
式口

关键词:协议组合;进程代数;通信顺序进程;形式化方法

   CSP

1.3 基本协议交互组合构件

2 协议组合规则与实例分析

一种基于进程代数的协议组合形式化模型.pdf

[2]

一种基于交互的网络服务体系结构描述语言
杨　鹏　　刘　业

东南大学学报（自然科学版）    2006

摘要：

   在面向服务的新一代网络体系结构ＩＮＳＡ参考模型研究的基础上，提出了一种基于交互
的网络服务体系结构描述语言ＩＮＳＡＤＬ．详细介绍了实体构件、交互连接件、端口、角色及网络体
系结构配置等主要建模元素的语法定义，并基于ＩＮＳＡＤＬ提出了以网络体系结构为中心的网络
系统开发思想，为面向服务的新一代网络体系结构的形式化建模、描述和分析等奠定了基础．

关键词：网络体系结构；体系结构描述语言；实体构件；交互连接件

   CSP -> 一种基于交互的网络服务体系结构描述语言INSADL

一种基于交互的网络服务体系结构描述语言.pdf