计算机工程与应用2011，Vol.47Issue(8)：51-55,5.DOI:10.3778/j.issn.1002-8331.2011.08.016
模型驱动架构的语义组合Web服务的验证
Verification of semantic composite Web services based on model driver architecture
摘要
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.关键词
语义web服务/组合验证模型/模型驱动架构(MDA)/语义匹配度Key words
semantic Web service/composite verifying model/ Model Driven Architecture(MDA)/ semantic matching degree分类
信息技术与安全科学引用本文复制引用
蓝荣贵,王勇,朱正东,李增智..模型驱动架构的语义组合Web服务的验证[J].计算机工程与应用,2011,47(8):51-55,5.基金项目
国家自然科学基金(the National Natural Science Foundation of China under Grallt No.60673170). （the National Natural Science Foundation of China under Grallt No.60673170）
