Asynchronous Learning for Service Composition

  • Casandra Holotescu
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7221)


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.


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.


  1. 1.
    Angluin, D.: Learning regular sets from queries and counterexamples. Inform. and Computation (1987)Google Scholar
  2. 2.
    Berardi, D., et al.: Automatic service composition via simulation. Int. J. of Foundations of Computer Science (2009)Google Scholar
  3. 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)CrossRefGoogle Scholar
  4. 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. 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)CrossRefGoogle Scholar
  6. 6.
    Calvanese, D., et al.: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. (2008)Google Scholar
  7. 7.
    Dallmeier, V., et al.: Generating Test Cases for Specification Mining. In: ISSTA 2010 (2010)Google Scholar
  8. 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)CrossRefGoogle Scholar
  9. 9.
    Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009 (2009)Google Scholar
  10. 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)CrossRefGoogle Scholar
  11. 11.
    de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9 2001 (2001)Google Scholar
  12. 12.
    Peled, D., Vardi, M.Y.: Black box checking. In: FORTE/PSTV 1999 (1999)Google Scholar
  13. 13.
    Cavallaro, L., et al.: Synthesizing adapters for conversational web-services from their WSDL interface. In: SEAMS 2010 (2010)Google Scholar
  14. 14.
    Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008 (2008)Google Scholar
  15. 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. 16.
    Holotescu, C.: Controlling the Unknown. In: FoVeOOS 2010 (2010)Google Scholar
  17. 17.
    Holotescu, C.: Black-Box Composition: a Dynamic Approach. In: SAVCBS 2010 (2010)Google Scholar
  18. 18.
    Marconi, A., et al.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. (2008)Google Scholar
  19. 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. 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)CrossRefGoogle Scholar
  21. 21.
    Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. of the IEEE 77(1) (1989)Google Scholar
  22. 22.
    Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Ph.D Thesis (2008)Google Scholar
  23. 23.
    Suman, R.R., et al.: Extracting State Models for Black-Box Software Components. J. Obj. Tech. (2010)Google Scholar
  24. 24.
    Tivoli, M.: An architectural approach to the automatic composition and adaptation of software components. Ph.D Thesis (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Casandra Holotescu
    • 1
  1. 1.Dept. of Computer and Software EngineeringPolitehnica University of TimişoaraRomania

Personalised recommendations