-
题名网络服务行为的进程代数验证方法研究及其应用
被引量:1
- 1
-
-
作者
陈福
杨家海
杨扬
王元卓
贾美英
-
机构
北京外国语大学计算机科学与技术系
清华大学信息科学与技术国家实验室
北京科技大学计算机科学与技术系
中国科学院计算技术研究所网络重点实验室
-
出处
《计算机学报》
EI
CSCD
北大核心
2011年第9期1660-1668,共9页
-
基金
国家"八六三"高技术研究发展计划项目基金(2009AA01Z251
2008AA01A303)
+6 种基金
国家"九七三"重点基础研究发展规划项目基金(2009CB320505)
国家科技支撑项目(2008BAH37B05)
国家自然科学基金(60873192
61070182
60873193
60803123)
中央高校基本科研业务费专项资金(2010XJ025)资助~~
-
文摘
通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法.
-
关键词
进程代数
Π演算
服务行为
交互系统演算
-
Keywords
process algebra
π calculus, service behavior
interactive systems calculus
-
分类号
TP301
[自动化与计算机技术—计算机系统结构]
-