基于uMSD的Web服务组合验证方法研究

摘要：

手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了uMSD的可行性.实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误.

关键词：模态顺序图、Web服务组合、模型检验

所属期刊栏目：38

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

资助基金：国家高技术研究发展计划2007AA01Z178;武汉大学软件工程国家重点实验室开放基金项目2010-08-01;河海大学中央高校基本科研业务经费2009B04314;江苏省高校自然科学基金11KJD520010

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

页数：共7页

页码：119-125