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

作者：王志坚; 李雯睿; 杨种学; 张鹏程

来源：计算机科学, 2011, (09): 119-125.

• 模态顺序图
• Web服务组合
• 模型检验 Modal sequence diagram
• Web service composition
• Model checking

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

• 单位
  软件工程国家重点实验室; 河海大学; 武汉大学; 南京晓庄学院