An Eclipse-based SCA design framework to support coordinated execution of services

This paper presents a design framework for coordinated execution of service-oriented applications. The framework is based on the OSOA open standard model Service Component Architecture (SCA) for heterogeneous service assembly and on the formal method Abstract State Machine (ASM) for modeling notions of service behavior, interactions, orchestration, and compensation in an abstract but executable way. The framework was developed by integrating the Eclipse-based SCA Composite Designer, the SCA runtime platform Tuscany, and the simulator AsmetaS of the ASM toolset ASMETA.