Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
KLAIM: A Kernel Language for Agents Interaction and Mobility
IEEE Transactions on Software Engineering
Proceedings of the 21st international conference on Software engineering
Fourth International Conference on Formal methods for open object-based distributed systems IV
Group communication specifications: a comprehensive study
ACM Computing Surveys (CSUR)
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Composable Semantic Models for Actor Theories
Higher-Order and Symbolic Computation
Rewriting logic: roadmap and bibliography
Theoretical Computer Science - Rewriting logic and its applications
Semantic Models for Distributed Object Reflection
ECOOP '02 Proceedings of the 16th European Conference on Object-Oriented Programming
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
SEMANTICS OF COMMUNICATING PARALLEL PROCESSES
Foundations of Actor Semantics
Foundations of Actor Semantics
An actor-based framework for real-time coordination
An actor-based framework for real-time coordination
A universal modular ACTOR formalism for artificial intelligence
IJCAI'73 Proceedings of the 3rd international joint conference on Artificial intelligence
RTA'03 Proceedings of the 14th international conference on Rewriting techniques and applications
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Ten years of analyzing actors: Rebeca experience
Formal modeling
A conceptual framework for adaptation
FASE'12 Proceedings of the 15th international conference on Fundamental Approaches to Software Engineering
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Modelling and analyzing adaptive self-assembly strategies with maude
WRLA'12 Proceedings of the 9th international conference on Rewriting Logic and Its Applications
| Hi-index | 0.01 |
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with distributed objects interacting via asynchronous message passing. The semantics of such a system is a set of event partial orders (event diagrams) giving the interactions during possible system executions. A global coordination requirement is a constraint on the allowed event diagrams. A system coordination specification consists of a meta-level coordinator that controls message delivery in the system according to a given global policy. The system-wide coordination can be refined/distributed using coordinators for disjoint subsystems that communicate with their peers to enforce the global policy. By a further transformation the meta-level can be replaced by systematically transformed base-level objects communicating via a controller object. The coordination models are formalized in rewriting logic using the Reflective Russian Dolls model of distributed object reflection. The general ideas are illustrated with several examples.