Sciweavers

CBSE
2004
Springer

Correctness of Component-Based Adaptation

13 years 9 months ago
Correctness of Component-Based Adaptation
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 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.
Sandeep S. Kulkarni, Karun N. Biyani
Added 01 Jul 2010
Updated 01 Jul 2010
Type Conference
Year 2004
Where CBSE
Authors Sandeep S. Kulkarni, Karun N. Biyani
Comments (0)