This paper presents an intuitive, precise and executable language, SCA-ASM, for model-based design and prototyping of service-oriented applications. The language combines the SCA (Service Component Architecture) capability of modeling and assembling heterogeneous service-oriented components in a technology agnostic way, with the rigor of the Abstract State Machines formal method able to model notions of service behavior, interactions, orchestration, compensation in an abstract but executable way. For an early and quick design evaluation of a composite software application, an SCA-ASM model of a service-oriented component, possibly not yet implemented in code or available as off-the-shelf, can be: (i) simulated and evaluated of fine, i.e. in isolation from the other components, (ii) configured in place within an SCA-compliant runtime platform as abstract implementation (or prototype) of a component and then executed together with the other components implementations according to the chosen SCA assembly.
A modeling and executable language for designing and prototyping service-oriented applications / E. Riccobene, P. Scandurra, F. Albani - In: 37th EUROMICRO Conference on software engineering and advanced applications, SEAA 2011 : 30 august – 2 september 2011, Oulu, Finland : proceedings / [a cura di] S. Biffl, M. Koivuluoma, P. Abrahamsson, M. Oivo. - Los Alamitos : Institute of electrical and electronics engineers, 2011. - ISBN 9781457710278. - pp. 4-11 (( Intervento presentato al 37. convegno EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) tenutosi a Oulu, Finland nel 2011.
A modeling and executable language for designing and prototyping service-oriented applications
E. RiccobenePrimo
;
2011
Abstract
This paper presents an intuitive, precise and executable language, SCA-ASM, for model-based design and prototyping of service-oriented applications. The language combines the SCA (Service Component Architecture) capability of modeling and assembling heterogeneous service-oriented components in a technology agnostic way, with the rigor of the Abstract State Machines formal method able to model notions of service behavior, interactions, orchestration, compensation in an abstract but executable way. For an early and quick design evaluation of a composite software application, an SCA-ASM model of a service-oriented component, possibly not yet implemented in code or available as off-the-shelf, can be: (i) simulated and evaluated of fine, i.e. in isolation from the other components, (ii) configured in place within an SCA-compliant runtime platform as abstract implementation (or prototype) of a component and then executed together with the other components implementations according to the chosen SCA assembly.Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.