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.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
