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
Communications of the ACM
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
Proceedings of the 21st international conference on Software engineering
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
Theoretical Computer Science
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Communicating sequential processes
Communications of the ACM
Toward a discipline of real-time programming
Communications of the ACM
Aspect-oriented programming: Introduction
Communications of the ACM
A Notation and Logic for Mobile Computing
Formal Methods in System Design
Role Modeling for Agent System Analysis, Design, and Implementation
IEEE Concurrency
IEEE Concurrency
What's Ahead for Embedded Software?
Computer
Soft Concurrent Constraint Programming
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
OpenCoLaS a Coordination Framework for CoLaS Dialects
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Supporting Coordination in Open Computational Systems with TuCSoN
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
A foundation for actor computation
Journal of Functional Programming
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
Energy-Efficient Replica Voting Mechanisms for Secure Real-Time Embedded Systems
WOWMOM '05 Proceedings of the Sixth IEEE International Symposium on World of Wireless Mobile and Multimedia Networks
A principled exploration of coordination models
Theoretical Computer Science - Abstract state machines and high-level system design and analysis
LIME: A coordination model and middleware supporting mobility of hosts and agents
ACM Transactions on Software Engineering and Methodology (TOSEM)
Science of Computer Programming - Special issue on security issues in coordination models, languages, and systems
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
Engineering of Software-Intensive Systems: State of the Art and Research Challenges
Software-Intensive Systems and New Computing Paradigms
Hi-index | 0.00 |
One of the main characteristics of open distributed embedded systems is that the involved entities are often very dynamic—different individual entities may join or leave the systems frequently. Therefore, systems built of these dynamic entities must be runtime reconfigurable. In addition, large classes of open embedded systems often have high availability and dependability requirements. However, the openness makes these requirements more difficult to achieve and the system more vulnerable to attacks. This article presents a coordination model, the Actor, Role and Coordinator (ARC) model, that aims to support reconfigurability and fault localization for open distributed embedded software systems. In particular, the actor model is used to model concurrent embedded entities, while the system's reconfigurability and dependability requirements are encapsulated within coordination objects: roles and coordinators, and are achieved through coordination among the actors. Roles, as a key thrust in the ARC model not only represent an abstraction for a set of behaviors shared by a group of actors so that reconfiguration within the roles becomes transparent to entities outside the roles, but also assume coordination responsibilities among the member actors. The article also argues from both analytical and empirical perspectives that with the support of the role, faults can be localized within actors, and actor level reconfiguration becomes transparent to the system.