Title :
A Modeling and Executable Language for Designing and Prototyping Service-Oriented Applications
Author :
Riccobene, Elvinia ; Scandurra, Patrizia ; Albani, Fabio
Author_Institution :
DTI, Univ. degli Studi di Milano, Milan, Italy
fDate :
Aug. 30 2011-Sept. 2 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.
Keywords :
distributed processing; service-oriented architecture; SCA assembly; SCA-ASM model; abstract state machines formal method; distributed computing; executable language; heterogeneous service-oriented components; model-based design; modeling language; service behavior; service compensation; service component architecture; service interactions; service orchestration; service-oriented applications; Analytical models; Assembly; Business; Runtime; Shape; System-on-a-chip; Unified modeling language; Abstract State Machines; Service-based software engineering; Service-oriented Component Architecture; service modeling; service prototyping;
Conference_Titel :
Software Engineering and Advanced Applications (SEAA), 2011 37th EUROMICRO Conference on
Conference_Location :
Oulu
Print_ISBN :
978-1-4577-1027-8
DOI :
10.1109/SEAA.2011.12