From Formal Specification of Code Mobility to Design and Implementation: An UML-Based Mobile Agent Approach

The contribution of this paper is to propose a simple approach for the design and implementation of code mobility using mobile software agents. The approach is demonstrated by its application to standard code mobility paradigms. We start from existing formalizations ofcode mobility paradigms and show how they can be used to derive standard UML sequence diagrams that describe agent interactions andmigration. Then we show how these diagrams can guide a prototype JADE-based implementation of the client-server code mobility paradigm.