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.
Chapter PDF
References
Angluin, D.: Learning regular sets from queries and counterexamples. Inform. and Computation (1987)
Berardi, D., et al.: Automatic service composition via simulation. Int. J. of Foundations of Computer Science (2009)
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)
Bertolino, A., Inverardi, P., Pelliccione, P., Tivoli, M.: Automatic Synthesis of Behaviour Protocols for Composable Web-Services. In: ESEC/FSE 2009 (2009)
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)
Calvanese, D., et al.: Automatic Service Composition and Synthesis: the Roman Model. IEEE Data Eng. Bull. (2008)
Dallmeier, V., et al.: Generating Test Cases for Specification Mining. In: ISSTA 2010 (2010)
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)
Ghezzi, C., Mocci, A., Monga, M.: Synthesizing Intentional Behavior Models by Graph Transformation. In: ICSE 2009 (2009)
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)
de Alfaro, L., Henzinger, T.A.: Interface automata. In: ESEC/FSE-9 2001 (2001)
Peled, D., Vardi, M.Y.: Black box checking. In: FORTE/PSTV 1999 (1999)
Cavallaro, L., et al.: Synthesizing adapters for conversational web-services from their WSDL interface. In: SEAMS 2010 (2010)
Lorenzoli, D., Mariani, L., Pezzè, M.: Automatic Generation of Software Behavioral Models. In: ICSE 2008 (2008)
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)
Holotescu, C.: Controlling the Unknown. In: FoVeOOS 2010 (2010)
Holotescu, C.: Black-Box Composition: a Dynamic Approach. In: SAVCBS 2010 (2010)
Marconi, A., et al.: Automated Composition of Web Services: the ASTRO Approach. IEEE Data Eng. Bull. (2008)
Åkesson, K., Fabian, M., et al.: Supremica: an integrated environment for verification, synthesis and simulation of discrete event systems. In: WODES 2006 (2006)
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)
Ramadge, P., Wonham, W.: The control of discrete event systems. Proc. of the IEEE 77(1) (1989)
Shahbaz, M.: Reverse Engineering Enhanced State Models of Black Box Software Components to support Integration Testing. Ph.D Thesis (2008)
Suman, R.R., et al.: Extracting State Models for Black-Box Software Components. J. Obj. Tech. (2010)
Tivoli, M.: An architectural approach to the automatic composition and adaptation of software components. Ph.D Thesis (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights 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
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)