Correctness of Component-based Adaptation
Sandeep S. Kulkarni and Karun N. Biyani
Abstract
Long running applications often need to adapt due to changing requirements or
changing environment. Typically, such adaptation is performed by dynamically
adding or removing components. In these types of adaptation, components are
often added to or removed from multiple processes in the system. While
techniques for such adaptations have been extensively discussed in the
literature, there is a lack of systematic methods to ensure the correctness of
dynamic adaptation. To redress this deficiency, in this paper, we propose a
new method, based on the concept of proof lattice, for verifying correctness of
dynamic adaptation in a distributed application. We use {\em
transitional-invariant lattice} to verify correctness of adaptation. As an
illustration of this method, we show how correctness of dynamic adaptation is
obtained in the context of a message communication application.
Paper:
Return to the publication list
Return to the Sandeep's home page