DefinePK

Abstract

This study presents a Semantic Web Services composition method based on Model-Driven Architecture (MDA). It uses UML class and use-case diagram to build a model of static composition for OWL-S and it uses activity diagram to build a model of dynamic composition for OWL-S. Based on semantic matching degree, the matching methods are used to select a subset of the available web services and then the most suitable composite web services is identified. Through a translation to a verifiable Promela model, the composition UML models are verified by SPIN tool. The verified UML models are stored as templates in the knowledge base of ontology for reuse. Present method not only improves the development efficiency of the semantic web, but, also ensures the correctness of the composition process.