Self-Healing in Web Service-Based Systems Using QoS

Abstract

Availability of components in online systems cannot be guaranteed due to the unstable nature of the web (updates, changes, etc.). A well-designed system must take this fact into account in order to ensure the availability of services which is a very difficult challenge due to the confidentiality and autonomy of each service component. An interesting solution for this is to tolerate these problems at the composite level by having a mechanism of recovery, called Self-healing. In this work, we proposed a solution that consists of implementing a formal approach, making it possible to model a business process (web service composition) by timed automata of the type daTA, while ensuring the quality of service taking into account the functional and non-functional needs of the system (in this case, the QoS represents the response time). The main objective of this project is to create a system that allows you to compare two web service compositions in pairs, to decide whether they are equivalent or not to ensure a perfect self-healing working system by the end.