Formal Modelling of an Autonomic Service Oriented Architecture

Service oriented architecture (SOA) is improving conventional software architecture by enabling composition of large and complex system out of simpler software services. However, implementation of SOA brings about some challenges, including its adaptability and robustness. A more robust service architecture that is capable of changing its structure and functionality autonomously, i.e. with little human intervention, is required due to the increased complexity and dynamism of the current network systems. In this paper, we propose the adaptation of autonomic computing paradigm into SOA to improve its robustness, and we also elaborate the formal modelling of the proposed autonomic SOA.