%0 Journal Article
%T 基于umsd的web服务组合验证方法研究
%A 王志坚
%A 李雯睿
%A 杨种学
%A 张鹏程？
%J 计算机科学
%D 2011
%X 手工分析组合服务相当困难和耗时，为此提出了一种基于umsi)的wcb服务组合的模型检验方法。如何简单和直观地表示web服务组合的时态性质是该方法的关键问题。鉴于umsd在简单性和表达力之间找到了一个平衡点，定义了umsd的形式语法和语义。以web服务组合(刀a为实例，使用umsd来图形化地表示组合服务的时态性质，展示了umsd的可行性。实验分析表明，该验证方法能够有效地检测组合服务中的逻辑错误。
%K 模态顺序图
%K web服务组合
%K 模型检验
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110927&flag=1