基于Web Services服务管理协议的设计与分析

摘要：

该文提出基于Web Services的服务管理协议(WSSMP),用于有效地管理跨不同管理域的服务.利用Petri网对WSSMP进行了形式化描述,并利用Petri网的可达性分析对此协议进行了逻辑正确性验证,确保了此协议具有有界性、活性、完整性、前进性等性质,从而减少了协议设计中潜在的错误.并在仿真平台上进行了协议测试,测试表明读取大量对象时,随着读取对象数的增多,压缩WSSMP所使用的带宽增加很少,该协议适应服务管理需要大量处理数据的特性.

关键词：互联网服务管理、Web Services、UML(Unified Modeling Language)、Petri网

所属期刊栏目：29

分类号：TP393(计算技术、计算机技术)

资助基金：国家重点基础研究发展计划973计划2003CB314806;下一代互联网中日IPv6合作项目

在线出版日期：2007-12-17（万方平台首次上网日期，不代表论文的发表时间）

页数：共6页

页码：2460-2465