Service adaptability analysis across semantics and behavior levels based on model transformation

Abstract

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.