This paper presents a behavioral formalism based on the Abstract State Machine (ASM) formal method and intended for high-level, platform-independent, executable specification of Service-oriented Components. We complement the recent Service Component Architecture – a graphical notation able to provide the overall and the components structure – with an ASM-based formalism able to describe the workflow of the service orchestration and the services internal behavior. The resulting service-oriented component model provides an ASM-based representation of both the structural and behavioral aspects of service-oriented systems, like service interactions, service orchestration, service tasks and compensation. The ASM formal description of a service-oriented system is suitable for rigorous execution-platform-independent analysis.
Specifying formal executable behavioral models for structural models of service-oriented components / E. Riccobene, P. Scandurra - In: Architectures, concepts and technologies for service oriented computing : proceedings of the 4. International workshop on architectures, concepts and technologies for service oriented computing : ACT4SOC 2010 : Athens, Greece, july 2010 / [a cura di] M. van Sinderen, B. Sapkota. - [s.l] : SciTe Press, 2010. - ISBN 9789898425201. - pp. 29-41 (( Intervento presentato al 4. convegno International Workshop on Architecture, Concepts and Technologies for Service Oriented Computing tenutosi a Athens nel 2010.
Specifying formal executable behavioral models for structural models of service-oriented components
E. RiccobenePrimo
;
2010
Abstract
This paper presents a behavioral formalism based on the Abstract State Machine (ASM) formal method and intended for high-level, platform-independent, executable specification of Service-oriented Components. We complement the recent Service Component Architecture – a graphical notation able to provide the overall and the components structure – with an ASM-based formalism able to describe the workflow of the service orchestration and the services internal behavior. The resulting service-oriented component model provides an ASM-based representation of both the structural and behavioral aspects of service-oriented systems, like service interactions, service orchestration, service tasks and compensation. The ASM formal description of a service-oriented system is suitable for rigorous execution-platform-independent analysis.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.