| 基于uMSD的Web服务组合验证方法研究 |
| |
| 引用本文： | 王志坚,李雯睿,杨种学,张鹏程. 基于uMSD的Web服务组合验证方法研究[J]. 计算机科学, 2011, 38(9): 119-125 |
| |
| 作者姓名： | 王志坚 李雯睿 杨种学 张鹏程 |
| |
| 作者单位： | (河海大学计算机与信息学院 南京 210098)；(南京晓庄学院数学与信息技术学院 南京 211171)；(武汉大学软件工程国家重点实验室 武汉 430072) |
| |
| 基金项目： | 本文受国家高技术研究发展计划(2007AA0lZ178），武汉大学软件工程国家重点实验室开放基金项目(2010-08-01) ,河海大学中央高校基本科研业务经费(2009B04314），江苏省高校白然科学基金(11KJD520010)资助。 |
| |
| 摘 要： | 手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法.如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题.鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义.以Web服务组合OJA为实例,使用uMSD来图形化地表示组合服务的时态性质,展示了u...
|
| 关 键 词： | 模态顺序图 Web服务组合 模型检验 |
Research on Verification of Web Service Composition Based on uMSD |
| |
| 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 |
| |
| Authors: | WANG Zhi-jian LI Wen-rui YANG Ghong-xue ZHANG Peng-cheng |
| |
| Affiliation: | WANG Zhi-jian1 LI Wen-rui2 YANG Zhong-xue2 ZHANG Peng-cheng1(College of Computer and Information,Hohai University,Nanjing 210098,China)1(School of Mathematics & Information Technology,Nanjing Xiaozhuang University,Nanjing 211171,China)2(State Key Laboratory of Software Engineering,Wuhan University,Wuhan 430072,China)3 |
| |
| 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. |
| |
| Keywords: | Modal sequence diagram Web service composition Model checking |
| 本文献已被 CNKI 等数据库收录！ |
| 点击此处可从《计算机科学》浏览原始摘要信息 |
|
点击此处可从《计算机科学》下载全文 |
|
