The ARC Programming Model -- Language Constructs for Coordination

Authors:
Kevin Marth;Shangping Ren
Affiliations:
Department of Computer Science, Illinois Institute of Technology, 10 West 31st Street, Chicago, IL 60616, USA;Department of Computer Science, Illinois Institute of Technology, 10 West 31st Street, Chicago, IL 60616, USA
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2009

Citing 14
Cited 0

Generative communication in Linda

ACM Transactions on Programming Languages and Systems (TOPLAS)
Communicating sequential processes

Communicating sequential processes
Actors: a model of concurrent computation in distributed systems

Actors: a model of concurrent computation in distributed systems
Reasoning about meta level activities in open distributed systems

Proceedings of the fourteenth annual ACM symposium on Principles of distributed computing
Coordinating distributed objects: an actor-based approach to synchronization

Coordinating distributed objects: an actor-based approach to synchronization
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Open, distributed coordination with finesse

SAC '98 Proceedings of the 1998 ACM symposium on Applied Computing
The IWIM Model for Coordination of Concurrent Activities

COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
A foundation for actor computation

Journal of Functional Programming
Abstract behavior types: a foundation model for components and their composition

Science of Computer Programming - Formal methods for components and objects pragmatic aspects and applications
Traits: A mechanism for fine-grained reuse

ACM Transactions on Programming Languages and Systems (TOPLAS)
Establishing global properties of multi-agent systems via local laws

E4MAS'06 Proceedings of the 3rd international conference on Environments for multi-agent systems III
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

Quantified Score

Hi-index	0.00

Visualization

Abstract

The ARC (Actor, Role, Coordinator) model addresses the coordination requirements of open, distributed applications deployed in dynamic environments. This paper introduces the ARC programming model and the ARC-PL programming language, including the syntax and informal semantics of new language constructs designed to enable modular coordination in the ARC model. Several well-known problems are solved to illustrate the expressiveness and modularity of the ARC programming model.