Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation
Web service adaptability analysis is a prominent aspect of service adaptation. Current Petri net-based approaches focus on behavior-level service adaptability analysis, lacking of cross-level analysis; Besides, they mainly rely on state exploration of the services which may result in state explosion. This paper firstly formalizes service behavior as an ontology-annotated service flow net which is an extended version of service flow net augmented with ontology concepts, thus we are able to discuss the notion of service adaptability across semantics and behavior levels. This paper secondly extends regular flow net with implicit choice and loop constructs, thus we are able to represent more service behaviors with ontology-annotated regular service flow nets. Last but not least, this paper efficiently achieves service adaptability checking by exploiting the regular characteristic of ontology-annotated regular service flow nets at behavior-level, and completely avoids state explosion problems.
KeywordsService Composition Input Action Ontology Concept Data Place Loop Body
Unable to display preview. Download preview PDF.
- 4.Dijkman, R.: Notions of Behavioural Compatibility and Their Implications for BPEL Processes. Centre for Telemetrics and Information Technology, University of Twente, Enschede. Technical Report TR-CTIT-06-41 (2006)Google Scholar
- 6.Gierds, C., Mooij, A., Wolf, K.: Specifying and Generating Behavioral Service Adapters based on Transformation Rules. Preprints CS-02-08 (2008)Google Scholar
- 10.OWL-S Coalition, http://www.daml.org/services/owl-s/1.2/overview/