《计算机学报》文章摘要   全文下载
文章题目	网络服务行为的进程代数验证方法研究及其应用
作者	陈福1),2) 杨家海2) 杨扬3) 王元卓4) 贾美英3)
作者单位	1)(北京外国语大学计算机科学与技术系 北京 100089) 2)(清华大学信息科学与技术国家实验室 北京 100084) 3)(北京科技大学计算机科学与技术系 北京 100083) 4)(中国科学院计算技术研究所网络重点实验室 北京 100083)
发表年份	2011
发表月份	9期(1660—1668)
文章摘要	摘要 通过形式化建模分析了系统特点，确认系统行为，从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法，包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法，然后给出了P2P节点的节点发现、防火墙穿越等行为的描述，提出了适用于托管的RCMMS网络自管理协议，并使用代数的方法描述协议行为，确认其合理性，从而验证文中所提出的方法. 关键词 进程代数；π演算；服务行为；交互系统演算 中图法分类号 TP301 DOI号: 10.3724/SP.J.1016.2011.01660