Access the full text.
Sign up today, get DeepDyve free for 14 days.
A. Ricci, Andrea Omicini (2003)
Supporting coordination in open computational systems with TuCSonWET ICE 2003. Proceedings. Twelfth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2003.
(2004)
A preliminary study on the expressive power of Reo
Andrea Omicini, A. Ricci, Mirko Viroli (2006)
Agent Coordination Contexts for the formal specification and enactment of coordination and security policiesSci. Comput. Program., 63
Shangping Ren, Yue Yu, Nianen Chen, K. Marth, P.-E. Poirot, Limin Shen (2006)
Actors, Roles and Coordinators - A Coordination Model for Open Distributed and Embedded Systems
A. Colman, Jun Han (2005)
Coordination Systems in Role-Based Adaptive Software
R. Milner (1998)
The Pi calculus and its applications
J. Cruz, Stéphane Ducasse (1999)
A Group Based Approach for Coordinating Active Objects
K. Kwiat, K. Ravindran, P. Hurley (2005)
Energy-efficient replica voting mechanisms for secure real-time embedded systemsSixth IEEE International Symposium on a World of Wireless Mobile and Multimedia Networks
Rahim Ramezanian (1978)
Communicating sequential processesCommun. ACM, 21
(2006)
Received March
N. Wirth (1977)
Towards a discipline of real-time programmingOperating Systems Review, 12
(2005)
Sensor Coordination using Role-Based Programming
(1996)
IWIM: A communication model for cooperative systems
T. Elrad, R. Filman, A. Bader (2001)
Aspect-oriented programming: IntroductionCommun. ACM, 44
V. Saraswat (1989)
Concurrent constraint programming
M. Cremonini, Andrea Omicini, F. Zambonelli (2000)
Coordination and Access Control in Open Distributed Agent Systems: The TuCSoN Approach
G. Papadopoulos, F. Arbab (1998)
Coordination Models and LanguagesAdv. Comput., 46
J. Odell, H. Parunak, M. Fleischer (2003)
The Role of RolesJ. Object Technol., 2
L. Lavagno, R. Zurawski (2005)
Embedded Systems
Giacomo Cabri, L. Ferrari, L. Leonardi (2004)
Agent role-based collaboration and coordination: a survey about existing approaches2004 IEEE International Conference on Systems, Man and Cybernetics (IEEE Cat. No.04CH37583), 6
Carlos Varela, G. Agha (1999)
A Hierarchical Model for Coordination of Concurrent Activities
G. Agha, Ian Mason, Scott Smith, C. Talcott (1997)
A foundation for actor computationJournal of Functional Programming, 7
E. Kendall (2000)
Role modeling for agent system analysis, design, and implementationIEEE Concurr., 8
D. Milojicic (2006)
Embedded systemsIEEE Concurr., 8
D. Gelernter (1985)
Generative communication in LindaACM Trans. Program. Lang. Syst., 7
Edward Lee (2000)
What's Ahead for Embedded Software?Computer, 33
(2007)
Article 10, Publication date
N. Wirth (1977)
Toward a discipline of real-time programmingCommun. ACM, 20
A. Berry, S. Kaplan (1998)
Open, distributed coordination with finesse
ACM Transactions on Autonomous and Adaptive Systems
A. Heydarnoori (2005)
Reo: A Channel-based Coordination Model for Component Composition
R. Milner (1998)
The Pi Calculus and Its Applications (Keynote Address)
Stefano Bistarelli, U. Montanari, F. Rossi (2002)
Soft concurrent constraint programming
CORBA specification
Giacomo Cabri, L. Leonardi, F. Zambonelli (2003)
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
J. Janneck (2003)
Actors and their CompositionFormal Aspects of Computing, 15
J. Cruz (2002)
OpenCoLaS a Coordination Framework for CoLaS Dialects
L. Cardelli, A. Gordon (1998)
Mobile Ambients
N. Venkatasubramanian (1999)
A MetaObject Framework for QoS-Based Distributed Resource Management
Shangping Ren, N. Venkatasubramanian, G. Agha (1997)
Formalizing multimedia QoS constraints using actors
G. Picco, A. Murphy, G. Roman (1999)
LIME: Linda meets mobilityProceedings of the 1999 International Conference on Software Engineering (IEEE Cat. No.99CB37002)
Andrea Omicini, F. Zambonelli (1999)
Tuple centres for the coordination of Internet agents
G. Roman, J. Payton (2005)
A principled exploration of coordination modelsTheor. Comput. Sci., 336
A. Murphy, G. Picco, G. Roman (2006)
LIME: A coordination model and middleware supporting mobility of hosts and agentsACM Trans. Softw. Eng. Methodol., 15
Svend Frølund (1996)
Coordinating distributed objects - an actor-based approach to synchronization
G. Agha (1985)
ACTORS - a model of concurrent computation in distributed systems
N. Minsky, V. Ungureanu (2000)
Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systemsACM Trans. Softw. Eng. Methodol., 9
M. Fowler (1997)
Dealing with Roles
G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. Lopes, J. Loingtier, J. Irwin (1996)
Aspect-oriented programming
R. Milner (1999)
Communicating and mobile systems - the Pi-calculus
F. Arbab (2002)
Abstract Behavior Types: a foundation model for components and their compositionSci. Comput. Program., 55
Jie Liu, J. Eker, J. Janneck, Xiaojun Liu, Edward Lee (2004)
Actor-oriented control system design: a responsible framework perspectiveIEEE Transactions on Control Systems Technology, 12
G. Roman, P. McCann (2002)
A Notation and Logic for Mobile ComputingFormal Methods in System Design, 20
N. Carriero, D. Gelernter (1989)
Linda in contextCommun. ACM, 32
Andrea Omicini, E. Denti (2001)
Formal ReSpecT, 48
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.
ACM Transactions on Autonomous and Adaptive Systems (TAAS) – Association for Computing Machinery
Published: Sep 1, 2007
Read and print from thousands of top scholarly journals.
Already have an account? Log in
Bookmark this article. You can see your Bookmarks on your DeepDyve Library.
To save an article, log in first, or sign up for a DeepDyve account if you don’t already have one.
Copy and paste the desired citation format or use the link below to download a file formatted for EndNote
Access the full text.
Sign up today, get DeepDyve free for 14 days.
All DeepDyve websites use cookies to improve your online experience. They were placed on your computer when you launched this website. You can change your cookie settings through your browser.