Formal modeling self-adaptive service-oriented applications

In the context of modern service-oriented applications, components must be able to autonomously adapt their behavior in response to rapidly changing environment and business conditions. Formal frameworks for modeling self-adaptive behavior of service-oriented components (SOCs) are critically required to assure quality properties. In this paper we show how SCA-ASM, a lightweight formal framework for modeling and executing service-oriented applications, can be used to express adaptive behavior of service components. We explain how modeling an SCAASM component able to monitor and react to environmental changes (context-awareness) and to internal changes (selfawareness), and present the operators for expressing and coordinating self-adaptive behaviors in a distributed setting.