Abstract
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.
The research leading to these results has received funding from the European Community’s Seventh Framework Programme (FP7/2007-2013) under grant agreement no. FP7-ICT-231940-BRICS (Best Practice in Robotics).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
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)
Altenhofen, M., Friesen, A., Lemcke, J.: ASMs in Service Oriented Architectures. Journal of Universal Computer Science 14(12), 2034–2058 (2008)
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)
Arbab, F.: What do you mean, coordination? Bulletin of the Dutch Association for Theoretical Computer Science, 11–22 (March 1998)
The ASMETA toolset website (2006), http://asmeta.sf.net/
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)
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)
Beek, M.T., Bucchiarone, A., Gnesi, S.: Formal Methods for Service Composition. Annals of Mathematics, Computing & Teleinformatics 1(5), 1–10 (2007)
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)
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)
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)
Börger, E., Stärk, R.: Abstract State Machines: A Method for High-Level System Design and Analysis. Springer (2003)
EU project BRICS (Best Practice in Robotics), www.best-of-robotics.org/
Brugali, D., Scandurra, P.: Component-based robotic engineering (Part I) [Tutorial]. IEEE Robotics & Automation Magazine 16(4), 84–96 (2009)
Brugali, D., Shakhimardanov, A.: Component-based Robotic Engineering (Part II): Systems and Models. Robotics XX(1), 1–12 (2010)
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)
Davis, J.S.: Order and containment in concurrent system design. PhD thesis. Univ. of California, Berkeley (2000)
Ding, Z., Chen, Z., Liu, J.: A rigorous model of service component architecture. Electr. Notes Theor. Comput. Sci. 207, 33–48 (2008)
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)
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)
ASMs web site (2008), http://www.eecs.umich.edu/gasm/
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)
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)
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)
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)
EU project BRICS, Tech. Rep. A Coordination Use Case (March 24, 2011), www.best-of-robotics.org/wiki/images/e/e0/coordinationusecaseubergamo.pdf
EU project S-Cube, http://www.s-cube-network.eu/
Service Component Architecture (SCA), www.osoa.org
The Orocos Project, http://www.orocos.org
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)
EU project SENSORIA, www.sensoria-ist.eu/
SRML: A Service Modeling Language (2009), http://www.cs.le.ac.uk/srml/
Apache Tuscany, http://tuscany.apache.org/
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
Brugali, D., Gherardi, L., Riccobene, E., Scandurra, P. (2012). Coordinated Execution of Heterogeneous Service-Oriented Components by Abstract State Machines. In: Arbab, F., Ölveczky, P.C. (eds) Formal Aspects of Component Software. FACS 2011. Lecture Notes in Computer Science, vol 7253. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-35743-5_20
Download citation
DOI: https://doi.org/10.1007/978-3-642-35743-5_20
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-35742-8
Online ISBN: 978-3-642-35743-5
eBook Packages: Computer ScienceComputer Science (R0)