基于umsd的web服务组合验证方法研究

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