计算机科学 ›› 2011, Vol. 38 ›› Issue (9): 119-125.
• 软件工程 • 上一篇 下一篇
王志坚,李雯睿,杨种学,张鹏程
出版日期:
发布日期:
基金资助:
WANG Zhi-jian LI Wen-rui, YANG Ghong-xue,ZHANG Peng-cheng
Online:
Published:
摘要: 手工分析组合服务相当困难和耗时,为此提出了一种基于uMSI)的W cb服务组合的模型检验方法。如何简 单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平 衡点,定义了uMSD的形式语法和语义。以W eb服务组合(刀A为实例,使用uMSD来图形化地表示组合服务的时态 性质,展示了uMSD的可行性。实验分析表明,该验证方法能够有效地检测组合服务中的逻辑错误。
关键词: 模态顺序图,Web服务组合,模型检验
Abstract: In order to solve the problem that analyzing the composite services by manual is rather difficult and time-consuming, an approach was proposed to verify composite services by model checking based on uMSD. How to represent the temporal properties of the composite service easily and intuitively is a critical issue of the approach. Because uMSD finds a balance between simplicity of use and expressiveness, the paper defined the formal syntax and semantics of uMSD. In the paper, uMSD was used to graphically represent the temporal properties of a composite service On-the-Job Assistant as a case study, presenting the feasibility of uMSI).A series of experiments show the approach can effectively detect the logical errors in the composite service.
Key words: Modal sequence diagram, Web service composition, Model checking
王志坚,李雯睿,杨种学,张鹏程. 基于uMSD的Web服务组合验证方法研究[J]. 计算机科学, 2011, 38(9): 119-125. https://doi.org/
WANG Zhi-jian LI Wen-rui, YANG Ghong-xue,ZHANG Peng-cheng. Research on Verification of Web Service Composition Based on uMSD[J]. Computer Science, 2011, 38(9): 119-125. https://doi.org/
0 / / 推荐
导出引用管理器 EndNote|Reference Manager|ProCite|BibTeX|RefWorks
链接本文: https://www.jsjkx.com/CN/
https://www.jsjkx.com/CN/Y2011/V38/I9/119
Cited