Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines

  • Davide Brugali
  • Luca Gherardi
  • Elvinia Riccobene
  • Patrizia Scandurra
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 7253)


Early design and validation of service-oriented applications is hardly feasible due to their distributed, dynamic, and heterogeneous nature. In order to support the engineering of such applications and discover faults early, foundational theories, modeling notations and analysis techniques for component-based development should be revisited. This paper presents a formal framework for coordinated execution of service-oriented applications based on the OSOA open standard Service Component Architecture (SCA) for heterogeneous service assembly and on the formal method Abstract State Machines (ASMs) for modeling notions of service behavior, interactions, and orchestration in an abstract but executable way. The proposed framework is exemplified through a Robotics Task Coordination case study of the EU project BRICS.


Model Checker Transition Rule Client Request Business Process Execution Language Abstract State Machine 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Abreu, J., Mazzanti, F., Fiadeiro, J.L., Gnesi, S.: A Model-Checking Approach for Service Component Architectures. In: Lee, D., Lopes, A., Poetzsch-Heffter, A. (eds.) FMOODS/FORTE 2009. LNCS, vol. 5522, pp. 219–224. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  2. 2.
    Altenhofen, M., Friesen, A., Lemcke, J.: ASMs in Service Oriented Architectures. Journal of Universal Computer Science 14(12), 2034–2058 (2008)Google Scholar
  3. 3.
    André, P., Ardourel, G., Attiogbé, C.: Composing Components with Shared Services in the Kmelia Model. In: Pautasso, C., Tanter, É. (eds.) SC 2008. LNCS, vol. 4954, pp. 125–140. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  4. 4.
    Arbab, F.: What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science, 11–22 (March 1998)Google Scholar
  5. 5.
    The ASMETA toolset website (2006),
  6. 6.
    Attiogbé, C., André, P., Ardourel, G.: Checking Component Composability. In: Löwe, W., Südholt, M. (eds.) SC 2006. LNCS, vol. 4089, pp. 18–33. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    Barros, A.P., Börger, E.: A Compositional Framework for Service Interaction Patterns and Interaction Flows. In: Lau, K.-K., Banach, R. (eds.) ICFEM 2005. LNCS, vol. 3785, pp. 5–35. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  8. 8.
    Beek, M.T., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1(5), 1–10 (2007)Google Scholar
  9. 9.
    Blake, M.B., Remy, S.L., Wei, Y., Howard, A.M.: Robots on the Web: Service-Oriented Computing and Web Interfaces. IEEE Robotics & Automation Magazine (June 2011)Google Scholar
  10. 10.
    Börger Sörensen, O., Thalheim, B.: On Defining the Behavior of OR-joins in Business Process Models. J. UCS 15(1), 3–32 (2009)Google Scholar
  11. 11.
    Börger, E.: Modeling Workflow Patterns from First Principles. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol. 4801, pp. 1–20. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  12. 12.
    Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)Google Scholar
  13. 13.
    EU project BRICS (Best Practice in Robotics),
  14. 14.
    Brugali, D., Scandurra, P.: Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics & Automation Magazine 16(4), 84–96 (2009)CrossRefGoogle Scholar
  15. 15.
    Brugali, D., Shakhimardanov, A.: Component-based Robotic Engineering (Part II): Systems and Models. Robotics XX(1), 1–12 (2010)Google Scholar
  16. 16.
    Bruni, R.: Calculi for Service-Oriented Computing. In: Bernardo, M., Padovani, L., Zavattaro, G. (eds.) SFM 2009. LNCS, vol. 5569, pp. 1–41. Springer, Heidelberg (2009)CrossRefGoogle Scholar
  17. 17.
    Davis, J.S.: Order and containment in concurrent system design. PhD thesis. Univ. of California, Berkeley (2000)Google Scholar
  18. 18.
    Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. Electr. Notes Theor. Comput. Sci. 207, 33–48 (2008)CrossRefGoogle Scholar
  19. 19.
    Du, D., Liu, J., Cao, H.: A rigorous model of contract-based service component architecture. In: CSSE (2), pp. 409–412. IEEE Computer Society (2008)Google Scholar
  20. 20.
    Farahbod, R., Glässer, U., Vajihollahi, M.: A formal semantics for the business process execution language for web services. In: Bevinakoppa, S., Pires, L.F., Hammoudi, S. (eds.) WSMDEIS, pp. 122–133. INSTICC Press (2005)Google Scholar
  21. 21.
    ASMs web site (2008),
  22. 22.
    Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: SOCK: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, pp. 327–338. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  23. 23.
    Klotzbuecher, M., Soetens, P., Bruyninckx, H.: OROCOS RTT-Lua: an Execution Environment for building Real-time Robotic Domain Specific Languages. In: Int. Workshop on Dynamic Languages for RObotic and Sensors (2010)Google Scholar
  24. 24.
    Lanese, I., Martins, F., Vasconcelos, V.T., Ravara, A.: Disciplining orchestration and conversation in service-oriented computing. In: SEFM 2007, pp. 305–314. IEEE (2007)Google Scholar
  25. 25.
    Martens, A., Moser, S.: Diagnosing SCA Components Using Wombat. In: Dustdar, S., Fiadeiro, J.L., Sheth, A.P. (eds.) BPM 2006. LNCS, vol. 4102, pp. 378–388. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  26. 26.
    EU project BRICS, Tech. Rep. A Coordination Use Case (March 24, 2011),
  27. 27.
    EU project S-Cube,
  28. 28.
    Service Component Architecture (SCA),
  29. 29.
    The Orocos Project,
  30. 30.
    Riccobene, E., Scandurra, P.: A modeling and executable language for designing and prototyping service-oriented applications. In: EUROMICRO Conf. on Software Engineering and Advanced Applications, SEAA 2011 (2011)Google Scholar
  31. 31.
    EU project SENSORIA,
  32. 32.
    SRML: A Service Modeling Language (2009),
  33. 33.

Copyright information

© Springer-Verlag Berlin Heidelberg 2012

Authors and Affiliations

  • Davide Brugali
    • 2
  • Luca Gherardi
    • 2
  • Elvinia Riccobene
    • 1
  • Patrizia Scandurra
    • 2
  1. 1.DTIUniversità degli Studi di MilanoCremaItaly
  2. 2.DIIMMUniversità degli Studi di BergamoDalmineItaly

Personalised recommendations