Proceedings of the 21st international conference on Software engineering
Open, distributed coordination with finesse
SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
Actors: a model for reasoning about open distributed systems
Formal methods for distributed processing
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Modeling component connectors in Reo by constraint automata
Science of Computer Programming - Special issue on second international workshop on foundations of coordination languages and software architectures (FOCLASA'03)
HICSS '07 Proceedings of the 40th Annual Hawaii International Conference on System Sciences
Policy-based Coordination in PAGODA: A Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Formal ReSpecT in the A&A Perspective
Electronic Notes in Theoretical Computer Science (ENTCS)
Reo Connectors as Coordination Artifacts in 2APL Systems
PRIMA '08 Proceedings of the 11th Pacific Rim International Conference on Multi-Agents: Intelligent Agents and Multi-Agent Systems
Applying Reo to service coordination in long-running business transactions
Proceedings of the 2009 ACM symposium on Applied Computing
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM
Electronic Notes in Theoretical Computer Science (ENTCS)
Enhanced Coordination in Sensor Networks through Flexible Service Provisioning
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Contract-Based Coordination of Hardware Components for the Development of Embedded Software
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Coordination Model for Real-Time Collaborative Editors
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
An event-based coordination model for context-aware applications
COORDINATION'08 Proceedings of the 10th international conference on Coordination models and languages
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Actors, roles and coordinators — a coordination model for open distributed and embedded systems
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
A hybrid visual dataflow language for coordination in mobile ad hoc networks
COORDINATION'10 Proceedings of the 12th international conference on Coordination Models and Languages
Why do scala developers mix the actor model with other concurrency models?
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
Hi-index | 0.00 |
For large open and distributed real-time applications, coordination constraints among concurrent, spatially distributed and autonomous entities can be complex. The Actor-Role-Coordinator (ARC) model we developed earlier [1] introduced the concept of roles which are abstractions of behaviors that are to be coordinated. Each role's behaviors may be shared by many concurrent entities, or played by many actors. Based on the role concept, coordination activities in large systems are partitioned into inter-role and intra-role coordinations to mitigate the coordination complexity. This paper focuses on coordination primitives and the composition of these primitives in forming more complex intra-role and inter-role coordination constraints. In particular, we define two primitive coordination operators, i.e., precede (&cupre;t) and select (⊵p), and use them to express temporal and spacial (with respect to actor system's behavioral space) coordination constraints among concurrent and autonomous actors. We further provide an operational semantics for these operators under the ARC model and provide case studies to illustrate their expressiveness in specifying complex coordination constraints.