计算机工程与应用 ›› 2008, Vol. 44 ›› Issue (34): 132-136.DOI: 10.3778/j.issn.1002-8331.2008.34.041

• 数据库、信号与信息处理 • 上一篇    下一篇

面向应用的Web服务组合设计和验证框架

辜希武,李瑞轩,卢正鼎   

  1. 华中科技大学 计算机学院 应用系,武汉 430074
  • 收稿日期:2008-05-20 修回日期:2008-06-23 出版日期:2008-12-01 发布日期:2008-12-01
  • 通讯作者: 辜希武

Application oriented framework for Web services composition design and verification

GU Xi-wu,LI Rui-xuan,LU Zheng-ding   

  1. College of Computer Science and Technology,Huazhong University of Science and Technology,Wuhan 430074,China
  • Received:2008-05-20 Revised:2008-06-23 Online:2008-12-01 Published:2008-12-01
  • Contact: GU Xi-wu

摘要: 针对Web服务组合设计规范缺乏形式化的语义和验证方法的问题,提出了一个自顶向下的Web服务设计和验证的框架-iFrame4WS。在iFrame4WS中,将Web服务组合的设计方案划分为描述层、抽象层和执行层,并通过抽象层的形式化模型和形式化验证来检查Web服务组合的正确性。

关键词: Web服务, Web服务组合, 形式化模型

Abstract: To deal with the issue that Web services composition design specifications lack of formal semantics and formal verification methods,the paper outlines a top-down framework-iFrame4WS for Web services composition design and verification.In iFrame4WS,the process of Web services composition is divided into description level,abstract level and execution level.The formal model and verification approach are defined in abstract level so as to ensure the correctness of Web services composition.

Key words: Web services, Web services composition, formal model