【摘 要】
：
通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、
【机 构】
：
北京外国语大学计算机科学与技术系,清华大学信息科学与技术国家实验室,北京科技大学计算机科学与技术系,中国科学院计算技术研究所网络重点实验室
论文部分内容阅读
通过形式化建模分析了系统特点,确认系统行为,从而尽可能避免系统的冲突等情况.文中提出了一种使用进程代数描述网络服务组件的行为建模方法,包括强模拟、强互模拟、时效性、触发器、服务环境等网络服务交互行为描述方法,然后给出了P2P节点的节点发现、防火墙穿越等行为的描述,提出了适用于托管的RCMMS网络自管理协议,并使用代数的方法描述协议行为,确认其合理性,从而验证文中所提出的方法.
其他文献
额济纳绿洲位于我国西北第二大内陆河流域——黑河流域的下游,它是额济纳荒漠地区的重要组成部分之一,也是我国西北地区的一条重要生态防线。本文以额济纳绿洲景观为研究对象
二氧化硫(SO2)是一种大气污染物,会对人类健康和自然环境产生不利影响,其捕集研究引起了国内外研究者的广泛关注。作为一种新型溶剂,离子液体由于其具有的特殊性质(蒸汽压低
随着工农业的快速发展,大量的污水被排放到地表径流,湖泊河流的水质开始逐步恶化,严重制约着人类社会的发展。由于地表水占地面积大,分布不集中等特点,无法利用大部分常见的
<正>前言高等级公路软弱土地基段桥头跳车一直是困扰着工程界的质量通病。桥头跳车现象造成行驶车辆产生颠簸和跳跃,影响行车安全甚至造成交通事故,而且跳跃和冲击又会对桥梁
1925年1月4日,《京报副刊》头版发表启事,公开征求'青年必读书'推荐书目。征求结果显示,78位学者共推荐了746本书。从严格意义上讲,'青年必读书'推荐书目并
<正>很多人把"四大皆空"的"四大"理解为酒、色、财、气,那就大错特错了。"四大皆空"其"四大"实则指四种物质因素。其实,人们所说的"四大皆空"来源于佛教。"四大"最早出现在《
高校党校是入党积极分子培养、党员教育管理和党员干部培训的主渠道,是学习、研究和宣传党的理论的主阵地,是增强党员、党员领导干部党性锻炼的熔炉。文章探讨了高校党校培训
水滑石类化合物（LDH）是自然界唯一一类阴离子型粘土矿物，具有板层组成可调控、层间阴离子可交换、结构记忆效应等特点，可广泛应用于环境保护和工、农业生产等领域。本文围绕进一