Making Sound Policies for Self-healing Systems (original) (raw)

Today, more and more software-based systems need to be adaptive in response to unexpected failures which violate system constraints. One of the key issues in making this adaptation successful is that of ensuring the re-establishment of violated constraints and the safety of the adaptation. In this paper, we propose a formal architecture-centric approach for specifying sound architectural repair policies. We use architectural style as a basis for system self-repair. We formally describe how to verify that the execution of a policy will generate a consistent configuration with respect to the system architectural style. We apply the approach to a commonly used architectural style for component-based systems : Publish/Subscribe style.