Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Parallel program design: a foundation
Parallel program design: a foundation
Coordination languages and their significance
Communications of the ACM
Programming by multiset transformation
Communications of the ACM
A calculus of mobile processes, I
Information and Computation
Mobile UNITY: reasoning and specification in mobile computing
ACM Transactions on Software Engineering and Methodology (TOSEM)
Connectors for Mobile Programs
IEEE Transactions on Software Engineering
Operational semantics of a parallel object-oriented language
POPL '86 Proceedings of the 13th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A Discipline of Programming
Compositional Programming Abstractions for Mobile Computing
IEEE Transactions on Software Engineering
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
Developing Object-based Distributed Systems
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
The IWIM Model for Coordination of Concurrent Activities
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Towards a Compositional Method for Coordinating Gamma Programs
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Coordinating Mobile Agents via Blackboards and Access Rights
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
COORDINATION '97 Proceedings of the Second International Conference on Coordination Languages and Models
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
An Approach to Object-Orientation in Action Systems
MPC '98 Proceedings of the Mathematics of Program Construction
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
Hybrid Models for Mobile Computing
COORDINATION '00 Proceedings of the 4th International Conference on Coordination Languages and Models
Hi-index | 0.00 |
When designing distributed object-based systems one is often faced with the problem of modelling the movement of objects from site to site in a distributed network. In order to model such an activity, some supervising or coordination mechanisms are needed, to insure correctness of both movement and communication in the network. In this paper we propose distributed object-based action systems as a basis for (coordinated) mobile computing. In order to model mobility and coordination we extend the action systems and OO-action systems formalisms with so called mobile objects and coordinator objects. The mobile objects move in some domain whereas the coordinator objects control the actions of the mobile objects within their respective domains. We show the applicability of the proposed framework with a small though nontrivial example.