Title :
Perimorph: run-time composition and state management for adaptive systems
Author :
Kasten, E.P. ; McKinley, P.K.
Author_Institution :
Dept. of Comput. Sci. & Eng., Michigan State Univ., USA
Abstract :
We address a key issue that arises in run-time recomposition of software: the transfer of nontransient state between old components and their replacements. We focus on the concept of collateral change, which refers to the set of recomposition actions that must be applied atomically for continued correct execution of the system. We describe Perimorph, a system that supports compositional adaptation of both functional and nonfunctional concerns by explicitly addressing collateral change. The operation of Perimorph is demonstrated through the implementation and testing of a 2D/3D digital elevation mapping application that supports recomposition and handoff among networked devices with varying capabilities.
Keywords :
formal specification; formal verification; middleware; mobile computing; object-oriented programming; 2D-3D digital elevation mapping application; Perimorph; adaptive middleware; adaptive systems; collateral change; component-based design; mobile computing; networked devices; run-time composition; state management; Adaptive systems; Application software; Computer science; Distributed computing; Fault tolerance; Laboratories; Middleware; Runtime; Software engineering; Testing;
Conference_Titel :
Distributed Computing Systems Workshops, 2004. Proceedings. 24th International Conference on
Print_ISBN :
0-7695-2087-1
DOI :
10.1109/ICDCSW.2004.1284051