Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
A language with distributed scope
POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
Communications of the ACM
Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Implementing incremental code migration with XML
Proceedings of the 22nd international conference on Software engineering
Reasoning about code mobility with mobile UNITY
ACM Transactions on Software Engineering and Methodology (TOSEM)
Programming and Deploying Java Mobile Agents Aglets
Programming and Deploying Java Mobile Agents Aglets
D'Agents: applications and performance of a mobile-agent system
Software—Practice & Experience - Special issue: Mobile agent systems
Types for the ambient calculus
Information and Computation - IFIP TCS2000
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
A Hands-On Look at Java Mobile Agents
IEEE Internet Computing
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
An Asynchronous Model of Locality, Failurem and Process Mobility
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
µCODE: A Lightweight and Flexible Mobile Code Toolkit
MA '98 Proceedings of the Second International Workshop on Mobile Agents
Towards Multi-Swarm Problem Solving in Networks
ICMAS '98 Proceedings of the 3rd International Conference on Multi Agent Systems
Using code collection to support large applications on mobile devices
Proceedings of the 10th annual international conference on Mobile computing and networking
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
Hi-index | 0.00 |
This paper is concerned with an abstract exploration of code mobility constructs designed for use in settings where the level of granularity associated with the mobile units exhibits significant variability. Units of mobility that are both finer and coarser grained than the unit of execution are examined. To accomplish this, we take the extreme view that every line of code and every variable declaration are potentially mobile, i.e., it may be duplicated or moved from one program context to another on the same host or across the network. We also assume that complex code assemblies may move with equal ease. The result is CODEWEAVE, a model that shows how to develop new forms of code mobility, assign them precise meaning, and facilitate formal verification of programs employing them. The design of CODEWEAVE relies greatly on Mobile UNITY, a notation and proof logic for mobile computing. Mobile UNITY offers a computational milieu for examining a wide range of constructs and semantic alternatives in a clean abstract setting, i.e., unconstrained by compilation and performance considerations traditionally associated with programming language design. Ultimately, the notation offered by CODEWEAVE is given exact semantic definition by means of a direct mapping to the underlying Mobile UNITY model. The abstract and formal treatment of code mobility offered by CODEWEAVE establishes a technical foundation for examining competing proposals and for subsequent integration of some of the mobility constructs both at the language level and within middleware for mobility.