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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)
Li, X.T., Fan, Y.S., Madnick, S., Sheng, Q.Z.: A Pattern-based Approach to Protoco Mediation for Web Services Composition. Inform. Softw. Technol. 52(3), 304–323 (2010)
Tan, W., Fan, Y.S., Zhou, M.C.: A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE Transactions on Automation Science and Engineering 6(1), 94–106 (2009)
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)
Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of System and Software 74(1), 45–54 (2005)
Gierds, C., Mooij, A., Wolf, K.: Specifying and Generating Behavioral Service Adapters based on Transformation Rules. Preprints CS-02-08 (2008)
Benatallah, B., Casati, F., Grigori, D., Nezhad, H.R.M., Toumani, F.: Developing Adapters for Web Services Integration. In: Pastor, Ó., Falcão e Cunha, J. (eds.) CAiSE 2005. LNCS, vol. 3520, pp. 415–429. Springer, Heidelberg (2005)
Brogi, A., Popescu, R.: Automated Generation of BPEL Adapters. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 27–39. Springer, Heidelberg (2006)
Xie, J., Tan, Q., Cao, G.: Modeling and Analyzing Web Service Behavior with Regular Flow Nets. In: Liu, W., Luo, X., Wang, F.L., Lei, J. (eds.) WISM 2009. LNCS, vol. 5854, pp. 309–319. Springer, Heidelberg (2009)
OWL-S Coalition, http://www.daml.org/services/owl-s/1.2/overview/
Brogi, A., Corfini, S., Popescu, R.: Semantic-based Composition-oriented Discovery of Web Services. ACM Transactions on Internet Technology 8(4), 1–39 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Cao, G., Tan, Q., Xue, X., Zhou, W., Dai, Y. (2014). Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation. In: Indulska, M., Purao, S. (eds) Advances in Conceptual Modeling. ER 2014. Lecture Notes in Computer Science, vol 8823. Springer, Cham. https://doi.org/10.1007/978-3-319-12256-4_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-12256-4_29
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-12255-7
Online ISBN: 978-3-319-12256-4
eBook Packages: Computer ScienceComputer Science (R0)