Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems

Ren, Shangping; Yu, Yue; Chen, Nianen; Marth, Kevin; Poirot, Pierre-Etienne; Shen, Limin

doi:10.1007/11767954_16

Cited by 36 publications

(27 citation statements)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Actor-Role-Coordinator (ARC) model [31] has several similarities to our policy-based coordinators-our objects are very similar to actors, and the coordination constraints are separated from the actor behavior and simply manage message delivery. The ARC model is concerned with time-related quality-of-service constraints, while PAGODA currently treats time at the level of an abstract partial order of events.…”

Section: Related Workmentioning

confidence: 99%

Policy-based Coordination in PAGODA: A Case Study

Talcott

2007

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

PAGODA (Policy And GOal Based Distributed Autonomy) is a modular architecture for specifying and prototyping autonomous systems. A PAGODA node (agent) interacts with its environment by sensing and affecting, driven by goals to achieve and constrained by policies. A PAGODA system is a collection of PAGODA nodes cooperating to achieve some mutual goal. This paper describes a specification of PAGODA using the Russian Dolls model of policy-based coordination. In PAGODA there are two forms of coordination: local and global. Local coordination is used to compose the components of a PAGODA node. The local coordinator is concerned with ensuring component level synchronization constraints, cross component message ordering constraints, routing of notifications, and interaction with the external world. The global coordinator is concerned with dissemination of information, negotiation of responsibilities, and synchronization of activities. Requirements for a PAGODA node coordinator are given and an example set of policies is specified. Principles for showing that the policies satisfy the requirements are discussed as a first step toward a logic of policy-based coordination. Development of a distributed coordinator is the subject of ongoing work. Some challenges and possible solutions are discussed.

show abstract

Section: Related Workmentioning

confidence: 99%

Policy-based Coordination in PAGODA: A Case Study

Talcott

2007

Electronic Notes in Theoretical Computer Science

View full text Add to dashboard Cite

show abstract

“…The Actor-Role-Coordinator (ARC) model [2] is also an exogenous coordination model. It is based on static behavior abstractions, but targeted on dynamic and large scale applications.…”

Section: Actor-role-coordinator (Arc) Modelmentioning

confidence: 99%

“…In this paper, we first suggest a list of features that are important in studying different coordination languages. Then, we compare and contrast three coordination models: Reo [1], Actors-Roles-Coordinators (ARC) [2], and Policy-based Reflective Russian Dolls (PBRD) [3]. We also present a common semantic model for these languages and show the mappings between their existing formalisms.…”

Section: Introductionmentioning

confidence: 97%

Comparing three coordination models: Reo, ARC, and PBRD

Talcott

Sirjani

Ren

2011

Science of Computer Programming

Self Cite

View full text Add to dashboard Cite

show abstract

“…In [61], the authors present 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.…”

Section: Distributed Coordinationmentioning

confidence: 99%

Partially distributed coordination with Reo and constraint automata

Jongmans

Santini

Arbab

2015

SOCA

View full text Add to dashboard Cite

Coordination languages, such as Reo, have emerged for the specification and implementation of interaction protocols among concurrent entities, manifested as connectors. In this paper, we describe a theoretical justification and a practical proof-of-concept tool for automatically generating partially distributed, partially centralized implementations of Reo connectors. Such implementations have three performance advantages: faster compilation at build time (compared to a purely centralized approach), reduced latency at run time (compared to a purely distributed approach), and improved parallelism at run time (compared to a purely centralized approach). Our theory relies on the definition of a new product operator on constraint automata (Reo's formal semantics), which we use to formally justify distributions of disjoint parts of a coordination scheme over different machines according to several possible motivations (e.g., performance, QoS constraints, privacy, resource availability, and network topology). To exemplify our work, in a case study, we show and explain how a generated connector implementation can be executed.

show abstract

Actors, Roles and Coordinators — A Coordination Model for Open Distributed and Embedded Systems

Cited by 36 publications

References 24 publications

Policy-based Coordination in PAGODA: A Case Study

Policy-based Coordination in PAGODA: A Case Study

Comparing three coordination models: Reo, ARC, and PBRD

Partially distributed coordination with Reo and constraint automata

Contact Info

Product

Resources

About