Specifying Distributed Adaptation through Software Component Relocation

This paper proposes a theoretical foundation for specifying and reasoning about adaptations based on our middleware system that introduces the relocation of software components to define functions between computers as a basic mechanism for adaptation on distributed systems. It provides a language for specifying adaptations policies. The language is useful to reason about adaptations and can be executed in the middleware system.