Formal modeling self-adaptive service-oriented applications
Elvinia Riccobene, Patrizia Scandurra · 2015
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.