A Graph Transformation Based Approach for Modeling Component-Level Migration in Mobile Environments

Component-level application migration is a light-weight solution to provide continuous services in mobile and pervasive environments. Current practices mainly leverage UML-like notations to model the architecture and the deployment configurations. Despite their popularity, the lack of rigorous semantics hampers the following validation process. In this paper, we present a graph transformation based approach to specifying the static and dynamic aspects of component migration. The graphical formalism provides a precise operational semantics and thus the consistency between the configuration constraints and migration strategies can be checked formally. The approach is exemplified by a scenario taken from mobile computing context.