A formal framework for coordinated simulation of heterogeneous service-oriented applications ?

Abstract

Early design and validation of service-oriented applications is hardly feasible due to their distributed, dynamic, and heterogeneous nature. In order to support the engineering of such applications and dis- cover faults early, foundational theories, modeling notations and anal- ysis techniques for component-based development should be revisited. This paper presents a formal framework for coordinated simulation of service-oriented applications based on the OSOA open standard Service Component Architecture (SCA) for heterogeneous service assembly and on the formal method Abstract State Machine (ASM) for modeling no- tions of service behavior, interactions, and orchestration in an abstract but executable way. The proposed framework is exemplied through a Robotics Task Coordination case study of the EU project BRICS.