Communicating sequential processes
Communicating sequential processes
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communications of the ACM
Concurrent constraint programming
Concurrent constraint programming
Open heterogeneous computing in ActorSpace
Journal of Parallel and Distributed Computing - Special issue on heterogeneous processing
Coordinating distributed objects: an actor-based approach to synchronization
Coordinating distributed objects: an actor-based approach to synchronization
Formalizing multimedia QoS constraints using actors
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Tuple centres for the coordination of Internet agents
Proceedings of the 1999 ACM symposium on Applied computing
The pi calculus and its applications
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Towards a Theory of Actor Computation
CONCUR '92 Proceedings of the Third International Conference on Concurrency Theory
A Group Based Approach for Coordinating Active Objects
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
A Hierarchical Model for Coordination of Concurrent Activities
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Quartz: A QoS Architecture for Open Systems
ICDCS '00 Proceedings of the The 20th International Conference on Distributed Computing Systems ( ICDCS 2000)
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A layered architecture for real-time distributed multi-agent systems
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Reconfigurable Coordination Model for Dynamic Autonomous Real-Time Systems
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
SUTC '06 Proceedings of the IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing -Vol 1 (SUTC'06) - Volume 01
Coordination systems in role-based adaptive software
COORDINATION'05 Proceedings of the 7th international conference on Coordination Models and Languages
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Extending the ARC model with generative coordination
Proceedings of the 2007 ACM symposium on Applied computing
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Comparing Three Coordination Models: Reo, ARC, and RRD
Electronic Notes in Theoretical Computer Science (ENTCS)
International Journal of Distributed Sensor Networks - Sensor Networks, Ubiquitous and Trustworthy Computing
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints
Electronic Notes in Theoretical Computer Science (ENTCS)
The ARC Programming Model -- Language Constructs for Coordination
Electronic Notes in Theoretical Computer Science (ENTCS)
The context-dependent role model
DAIS'07 Proceedings of the 7th IFIP WG 6.1 international conference on Distributed applications and interoperable systems
SDL'09 Proceedings of the 14th international SDL conference on Design for motes and mobiles
Comparing three coordination models: Reo, ARC, and PBRD
Science of Computer Programming
Ten years of analyzing actors: Rebeca experience
Formal modeling
Model feasible interactions in distributed real-time systems
Formal modeling
Symbolic execution of Reo circuits using constraint automata
Science of Computer Programming
Scoped synchronization constraints for large scale actor systems
COORDINATION'12 Proceedings of the 14th international conference on Coordination Models and Languages
Formal modeling of evolving self-adaptive systems
Science of Computer Programming
Towards a compositional reflective architecture for actor-based systems
Proceedings of the 2013 workshop on Programming based on actors, agents, and decentralized control
Hi-index | 0.00 |
This paper presents a coordination model, the Actor, Role and Coordinator (ARC) model, to address three main concerns inherent in a pervasive Open Distributed and Embedded (ODE) system: dynamicity, scalability, and stringent QoS requirements. The model treats a pervasive ODE system as a composition of concurrent computation and coerced coordination. In particular, concurrent computation is modeled as Actors, while coerced coordination specifies the system's QoS requirements by mapping them to coordination constraints. The coordination constraints are transparently imposed on actors through message manipulations, which are carried out by the roles and coordinators. The coordinators are responsible for the coordination among roles, while the roles in our model provide abstractions for coordinated behaviors that may be shared by multiple actors and further assume local coordination responsibilities for the actors playing the roles. The role's behavior abstraction decouples the syntactic dependencies between the coordinators and the actors, thus shielding the coordinator layer from the dynamicity of underlying actors inherent in ODE systems. This paper also formally defines the role and coordinator behaviors and the composition of the actor computation model with the proposed coerced coordination model. Our formal study has shown that the ARC system is closed under composition and recursion.