Advertisement

Service Adaptability Analysis across Semantics and Behavior Levels Based on Model Transformation

  • Guorong Cao
  • Qingping Tan
  • Xiaoyan Xue
  • Wei Zhou
  • Yongyong Dai
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8823)

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.

Keywords

Service Composition Input Action Ontology Concept Data Place Loop Body 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Yellin, D.M., Strom, R.E.: Protocol Specifications and Component Adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333 (1997)CrossRefGoogle Scholar
  2. 2.
    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)CrossRefGoogle Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 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
  5. 5.
    Bracciali, A., Brogi, A., Canal, C.: A Formal Approach to Component Adaptation. Journal of System and Software 74(1), 45–54 (2005)CrossRefGoogle Scholar
  6. 6.
    Gierds, C., Mooij, A., Wolf, K.: Specifying and Generating Behavioral Service Adapters based on Transformation Rules. Preprints CS-02-08 (2008)Google Scholar
  7. 7.
    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)CrossRefGoogle Scholar
  8. 8.
    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)CrossRefGoogle Scholar
  9. 9.
    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)CrossRefGoogle Scholar
  10. 10.
  11. 11.
    Brogi, A., Corfini, S., Popescu, R.: Semantic-based Composition-oriented Discovery of Web Services. ACM Transactions on Internet Technology 8(4), 1–39 (2008)CrossRefGoogle Scholar

Copyright information

© Springer International Publishing Switzerland 2014

Authors and Affiliations

  • Guorong Cao
    • 1
    • 2
  • Qingping Tan
    • 1
  • Xiaoyan Xue
    • 2
  • Wei Zhou
    • 2
  • Yongyong Dai
    • 2
  1. 1.School of ComputerNational University of Defense TechnologyChangshaChina
  2. 2.Jiangnan Institute of Computing TechnologyWuxiChina

Personalised recommendations