模型驱动架构的语义组合Web服务的验证

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (8): 51-55.

模型驱动架构的语义组合Web服务的验证

蓝荣贵1，王勇2，朱正东1，李增智1

1.西安交通大学计算机系，西安 710049
2.河南开封广播电视大学，河南开封 475000

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-03-11 发布日期:2011-03-11

Verification of semantic composite Web services based on model driver architecture

LAN Ronggui1，WANG Yong2，ZHU Zhengdong1，LI Zengzhi1

1.Department of Computer，Xi’an Jiaotong University，Xi’an 710049，China
2.Radio and Television University of Kaifeng，Kaifeng，Henan 475000，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-03-11 Published:2011-03-11

摘要/Abstract

摘要： 针对语义Web服务的组合与验证问题，提出了基于模型驱动架构（MDA）的组合方法与基于语义匹配度的匹配方法。组合方法使用UML类图和用例图对OWL-S进行静态组合建模，使用活动图对OWL-S进行动态组合建模。在建模过程中使用基于语义匹配度的匹配方法，选择可用的子Web服务确定最合适的组合Web服务，并将该组合UML模型转化为可验证的Promela语言，使用SPIN工具进行验证，通过验证的UML模型作为模板保存于本体的知识库中以便使用。该模型提高了开发语义Web服务的效率，保证了组合过程的正确性，还能利用模板与语义匹配度实时发现与选择可用的Web服务。

关键词: 语义Web服务, 组合验证模型, 模型驱动架构（MDA）, 语义匹配度

Abstract: In order to solve the problem of composition and verification of semantic Web services，this paper proposes a composite method based on Model-Driven Architecture（MDA） and a matching method based on semantic matching degree.In the static aspects，the OWL-S is modeled by the composite method using UML class diagrams and use-case diagram.The dynamic composition of OWL-S is modeled by the use of activity diagram.In the procedure of modeling，a matching method based on semantic matching degree is used to choose a subset of Web services for determining the most appropriate composite Web service and the compositing UML model is translated into the verifiable Promela language by the model checking tools，SPIN.The verified UML model，as a template，is stored in ontology knowledge base.The model improves the efficiency of the semantic Web services，and ensures the process of dynamic composition accuracy.By the use of templates and semantic matching degree，the most suitable and available Web services can be found and selected.

Key words: semantic Web service, composite verifying model, Model Driven Architecture（MDA）, semantic matching degree

蓝荣贵1，王勇2，朱正东1，李增智1. 模型驱动架构的语义组合Web服务的验证[J]. 计算机工程与应用, 2011, 47(8): 51-55.

LAN Ronggui1，WANG Yong2，ZHU Zhengdong1，LI Zengzhi1. Verification of semantic composite Web services based on model driver architecture[J]. Computer Engineering and Applications, 2011, 47(8): 51-55.

[1]	刘超1，2，眭跃飞1，曹存根1. 描述语义Web服务的带类型的OWL-S[J]. 计算机工程与应用, 2012, 48(22): 58-64.
[2]	方常青1，徐德智1，胡春华1，2. 改进的语义Web服务匹配方法[J]. 计算机工程与应用, 2011, 47(13): 143-146.
[3]	刘冰月. 基于本体的远程医疗语义Web服务发现方法研究[J]. 计算机工程与应用, 2010, 46(20): 230-233.
[4]	张磊,夏士雄,周勇,牛强. 基于多本体的语义Web服务发现研究[J]. 计算机工程与应用, 2009, 45(11): 165-167.