A framework for mobile Java applications

Abstract

We present the Dynamic Theory Execution (DynamiTE) framework for creating concurrent object-oriented applications, with semantics grounded in a process calculus. DynamiTE allows a system to be constructed as a series of distinct mobile components called environs which can change position during execution, and between which individual processes can migrate.