Skip to main content

Advertisement

SpringerLink
Log in
Menu
Find a journal Publish with us
Search
Cart
Book cover

International Conference on Service-Oriented Computing

ICSOC 2011: Service-Oriented Computing - ICSOC 2011 Workshops pp 76–86Cite as

  1. Home
  2. Service-Oriented Computing - ICSOC 2011 Workshops
  3. Conference paper
Asynchronous Learning for Service Composition

Asynchronous Learning for Service Composition

  • Casandra Holotescu26 
  • Conference paper
  • 1151 Accesses

  • 1 Citations

Part of the Lecture Notes in Computer Science book series (LNPSE,volume 7221)

Abstract

Correctness of system compositions is automatically ensured by using formal behavioural models of services. However, such models are not always provided. We present a model inference technique for black-box asynchronous services, that interleaves behavioural exploration and incremental model refinement. To save learning effort, only behaviour relevant to the desired system specification is explored. Compared to existing inference techniques that assume only controllable behaviour, our method addresses also uncontrollable events. Experimental results show that obtained models can be successfully used for a safe composition.

Keywords

  • Service Composition
  • Automaton Learn
  • Uncontrollable Event
  • Equivalence Query
  • Error Trace

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.

Download conference paper PDF

References

  1. Angluin, D.: Learning regular sets from queries and counterexamples. Inform. and Computation (1987)

    Google Scholar 

  2. Berardi, D., et al.: Automatic service composition via simulation. Int. J. of Foundations of Computer Science (2009)

    Google Scholar 

  3. Berg, T., Jonsson, B., Raffelt, H.: Regular Inference for State Machines with Parameters. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 107–121. Springer, Heidelberg (2006)

    CrossRef  Google Scholar 

  4. Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic Synthesis of Behaviour Protocols for Composable Web-Services. In: ESEC/FSE 2009 (2009)

    Google Scholar 

  5. Bollig, B., Katoen, J.-P., Kern, C., Leucker, M., Neider, D., Piegdon, D.R.: libalf: The Automata Learning Framework. In: Touili, T., Cook, B., Jackson, P. (eds.) CAV 2010. LNCS, vol. 6174, pp. 360–364. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  6. Calvanese, D., et al.: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. (2008)

    Google Scholar 

  7. Dallmeier, V., et al.: Generating Test Cases for Specification Mining. In: ISSTA 2010 (2010)

    Google Scholar 

  8. Dershowitz, N., Jayasimha, D.N., Park, S.: Bounded Fairness. In: Dershowitz, N. (ed.) Verification: Theory and Practice. LNCS, vol. 2772, pp. 304–317. Springer, Heidelberg (2004)

    CrossRef  Google Scholar 

  9. Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009 (2009)

    Google Scholar 

  10. Grabe, I., Kyas, M., Steffen, M., Torjusen, A.B.: Executable Interface Specifications for Testing Asynchronous Creol Components. In: Arbab, F., Sirjani, M. (eds.) FSEN 2009. LNCS, vol. 5961, pp. 324–339. Springer, Heidelberg (2010)

    CrossRef  Google Scholar 

  11. de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9 2001 (2001)

    Google Scholar 

  12. Peled, D., Vardi, M.Y.: Black box checking. In: FORTE/PSTV 1999 (1999)

    Google Scholar 

  13. Cavallaro, L., et al.: Synthesizing adapters for conversational web-services from their WSDL interface. In: SEAMS 2010 (2010)

    Google Scholar 

  14. Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008 (2008)

    Google Scholar 

  15. Păsăreanu, C., Giannakopoulou, D., et al.: Learning to divide and conquer: applying the L* algorithm to automate assume-guarantee reasoning. In: FMSD 2008 (2008)

    Google Scholar 

  16. Holotescu, C.: Controlling the Unknown. In: FoVeOOS 2010 (2010)

    Google Scholar 

  17. Holotescu, C.: Black-Box Composition: a Dynamic Approach. In: SAVCBS 2010 (2010)

    Google Scholar 

  18. Marconi, A., et al.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. (2008)

    Google Scholar 

  19. Åkesson, K., Fabian, M., et al.: Supremica: an integrated environment for verification, synthesis and simulation of discrete event systems. In: WODES 2006 (2006)

    Google Scholar 

  20. Raffelt, H., Steffen, B., Margaria, T.: Dynamic Testing Via Automata Learning. In: Yorav, K. (ed.) HVC 2007. LNCS, vol. 4899, pp. 136–152. Springer, Heidelberg (2008)

    CrossRef  Google Scholar 

  21. Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. of the IEEE 77(1) (1989)

    Google Scholar 

  22. Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Ph.D Thesis (2008)

    Google Scholar 

  23. Suman, R.R., et al.: Extracting State Models for Black-Box Software Components. J. Obj. Tech. (2010)

    Google Scholar 

  24. Tivoli, M.: An architectural approach to the automatic composition and adaptation of software components. Ph.D Thesis (2005)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dept. of Computer and Software Engineering, Politehnica University of Timişoara, Romania

    Casandra Holotescu

Authors
  1. Casandra Holotescu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science, University of Cyprus, University of Cyprus Campus, 1678, Nicosia, Cyprus

    George Pallis

  2. National School of Engineers of Sfax, University of Sfax, B.P. 1173, 3038, Sfax, Tunisia

    Mohamed Jmaiel

  3. SAP Darmstadt, Darmstadt, Germany

    Anis Charfi

  4. Sevices Research Lab., HP Labs, 94304, Palo Alto, CA, USA

    Sven Graupner

  5. SAP, Palo Alto, CA, USA

    Yücel Karabulut

  6. Dipartimento di Elettronica e Informazione, Politecnico di Milano, Piazza L. da Vinci 32, 20133, Milano, Italy

    Sam Guinea

  7. IBM T.J. Watson Research Center, USA

    Florian Rosenberg

  8. Department of Computer Science, Adelaide University, 5005, Adelaide, SA, Australia

    Quan Z. Sheng

  9. Faculty of Informatics, University of Lugano, G. Buffi 13, 6904, Lugano, Switzerland

    Cesare Pautasso

  10. LIRIS, CNRS, 20 ave. Albert Einstein, 69621, Villeurbanne, France

    Sonia Ben Mokhtar

Rights and permissions

Reprints and Permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Holotescu, C. (2012). Asynchronous Learning for Service Composition. In: Pallis, G., et al. Service-Oriented Computing - ICSOC 2011 Workshops. ICSOC 2011. Lecture Notes in Computer Science, vol 7221. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-31875-7_9

Download citation

  • .RIS
  • .ENW
  • .BIB
  • DOI: https://doi.org/10.1007/978-3-642-31875-7_9

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-31874-0

  • Online ISBN: 978-3-642-31875-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Share this paper

Anyone you share the following link with will be able to read this content:

Sorry, a shareable link is not currently available for this article.

Provided by the Springer Nature SharedIt content-sharing initiative

Search

Navigation

  • Find a journal
  • Publish with us

Discover content

  • Journals A-Z
  • Books A-Z

Publish with us

  • Publish your research
  • Open access publishing

Products and services

  • Our products
  • Librarians
  • Societies
  • Partners and advertisers

Our imprints

  • Springer
  • Nature Portfolio
  • BMC
  • Palgrave Macmillan
  • Apress
  • Your US state privacy rights
  • Accessibility statement
  • Terms and conditions
  • Privacy policy
  • Help and support

167.114.118.210

Not affiliated

Springer Nature

© 2023 Springer Nature