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 serviceoriented 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.
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines / D. Brugali, L. Gherardi, E.M. Riccobene, P. Scandurra - In: Formal aspects of component software : 8th International Symposium, FACS 2011 : Oslo, Norway, september 14-16, 2011 : revised selected papers / Peter Csaba Ölveczky, _x000D_ Farhad Arbab (eds.) ; [a cura di] F. Arbab, P.C. Ölveczky. - Berlin : Springer, 2012. - ISBN 9783642357428. - pp. 331-349 (( Intervento presentato al 8. convegno Formal Aspects of Component Software, International Symposium, (FACS) tenutosi a Oslo nel 2011 [10.1007/978-3-642-35743-5_20].
Coordinated execution of heterogeneous service-oriented components by Abstract State Machines
E.M. Riccobene;
2012
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 serviceoriented 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.
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
