Abstract
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.
- Agha, G., Mason, I. A., Smith, S. F., and Talcott, C. L. 1997. A foundation for actor computation. J. Funct. Program. 7, 1, 1--72. Google Scholar
Digital Library
- Agha, G. 1986. Actors: A model of Concurrent Computation in Distributed Systems. MIT Press. Google Scholar
Digital Library
- Amaro, S., Pimentel, E., and Roldan, A. M. 2004. A preliminary study on the expressive power of Reo. In Proceedings of the 3rd International Workshop on the Foundations of Coordination Languages and Software Architectures, London, United Kingdom.Google Scholar
- Arbab, F. 2004a. Abstract behavior types: A foundation model for components and their composition. Tech. rep., CWI, Amsterdam, Netherlands.Google Scholar
- Arbab, F. 2004b. Reo: a channel-based coordination model for component composition. Math. Struct. Comput. Sci. 14, 3, 329--366. Google Scholar
Digital Library
- Arbab, F. 1996. IWIM: A communication model for cooperative systems. In Proceedings of the 2nd International Conference on the Design of Cooperative Systems. 567--585.Google Scholar
- Berry, A. and Kaplan, S. 1998. Open, distributed coordination with finesse. In Proceedings of the 1998 ACM Symposium on Applied Computing. 178--184. Google Scholar
Digital Library
- Bistarelli, S., Montanari, U., and Rossi, F. 2002. Soft concurrent constraint programming. European Symposium on Programming. 7, 3, 53--67. Google Scholar
Digital Library
- Cabri, G., Ferrari, L., and Leonardi, L. 2003. BRAIN: a framework for flexible role-based interactions in multiagent systems. Coordination Models and Languages, 2888/2003, 145--161. LNCS, Springer-Verlag.Google Scholar
- Cabri, G., Ferrari, L., and Leonardi, L. 2004. Agent role-based collaboration and coordination: a survey about existing approaches. In International Conference on Systems, Man and Cybernetics. 6, 5473--5478.Google Scholar
- Cardelli, L. and Gordon, A. 2000. Mobile Ambients. Theor. Comput. Sci. Special Issue on Coordination 240, 1, 177--213. Google Scholar
Digital Library
- Carriero, N. and Gelernter, D. 1989. Linda in context. Comm. ACM. 32, 4, 444--458. Google Scholar
Digital Library
- Cheung, S. 2005. Sensor Coordination using Role-Based Programming. NSF NeTSNOSS Informational Meeting.Google Scholar
- Colman, A. and Han, J. 2005. Coordination systems in role-based software. Coord. Models Lang. 3454/2005, 63--78. LNCS, Springer-Verlag. Google Scholar
Digital Library
- CORBA specification. http://www.omg.org.Google Scholar
- Cremonini, M., Omicini, A., and Zambonelli, F. 2000. Coordination and access control in open distributed agent system: The TuCSoN approach. Coord. Lang. Models, 1906, 99--114. LNCS, Springer-Verlag. Google Scholar
Digital Library
- Cruz, J. C. 2002. OpenCoLaS: A coordination framework for CoLaS dialects. Coord. Models Lang. 2315/2002, 231--247. LNCS, Springer-Verlag. Google Scholar
Digital Library
- Cruz, J. C. and Ducasse, S. 1999. CoLaS: A group based approach for coordinating active objects. Coord. Models Lang., 1594/1999, 355--371. LNCS, Springer-Verlag. Google Scholar
Digital Library
- Ferraiolo, D. F. and Kuhn, D. R. 1992. Role based access control. In Proceedings of 15th National Computer Security Conference.Google Scholar
- Elrad, T., Filman, R. E., and Bader, A. 2001. Aspect-oriented programming. Comm. ACM 44, 10, 29--32. Google Scholar
Digital Library
- Fowler, M. 1997. Dealing with Roles. In Proceedings of European Conference on Pattern Language of Programs.Google Scholar
- Frølund, S. 1996. Coordinating Distributed Objects: An Actor-Based Approach to Synchronization. MIT Press. Google Scholar
Digital Library
- Gelernter, D. 1985. Generative Communication in Linda. ACM Trans. Prog. Lang. Syst. 7, 1, 80--112. Google Scholar
Digital Library
- Hoare, C. A. R. 1978. Communicating sequential processes. Commun. ACM. 21, 8, 666--677. Google Scholar
Digital Library
- Hoare, C. A. R. 1985. Communicating Sequential Processes. Prentice Hall International Series in Computer Science. Google Scholar
Digital Library
- Janneck, J. W. 2002. Actors and their composition. Tech. rep. University of California at Berkeley.Google Scholar
- Kendall, E. A. 2000. Role modeling for agent system analysis, design and implementation. IEEE Concur. 8, 2, 34--41. Google Scholar
Digital Library
- Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.-M., and Irwin, J. 1997. Aspect-oriented programming. In Proceedings of ECOOP'97, 1241/1997, 220--242. LNCS, Springer-Verlag.Google Scholar
- Kwiat, K., Ravindran, K., and Hurley, P. 2005. Energy-efficient replica voting mechanisms for secure real-time embedded systems. In Proceedings of the Sixth IEEE International Symposium on a World of Wireless, Mobile and Multimedia Networks. 153--162. Google Scholar
Digital Library
- Lee, E. A. 2000. What's ahead for embedded software. IEEE Comput. 33, 9, 18--26. Google Scholar
Digital Library
- Liu, J., Eker, J., Janneck, J. W., Liu, X., and Lee, E. A. 2004. Actor-oriented control system design: A responsible framework perspective. IEEE Trans. Contr. Syst. Tech. 12, 2, 250--262.Google Scholar
Cross Ref
- Microsoft. 2005. DCOM technology. http://www.microsoft.com/com/tech/DCOM.asp.Google Scholar
- Milner, R. 1998. The π-calculus and its applications (keynote address). In IJCSL.Google Scholar
- Milner, R. 1999. Communicating and Mobile Systems: the Pi-Calculus. Cambridge University Press; 1st edition. Google Scholar
Digital Library
- Milojicic, D. 2000. Embedded systems. IEEE Concur. 8, 4, 80--90. Google Scholar
Digital Library
- Minsky, N. H. and Ungureanu, V. 2000. Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans. Softw. Engin. Meth. 9, 3, 273--305. Google Scholar
Digital Library
- Murphy, A. L., Picco, G. P., and Roman, G.-C. 2006. Lime: A coordination model and middleware supporting mobility of hosts and agents. ACM Trans. Softw. Engin. Meth. 15, 3, 279--328. Google Scholar
Digital Library
- Omicini, A., Ricci, A., and Viroli, M. 2006. Agent Coordination Contexts for the Formal Specification and Enactment of Coordination and Security Policies. Sci. Comput. Prog. 63, 1, 88--107. Google Scholar
Digital Library
- Omicini, A. and Zambonelli, F. 1999. Tuple Centres for the Coordination of Internet Agents. In Proceedings of the ACM Symposium on Applied Computing, 183--190. Google Scholar
Digital Library
- Omicini, A. and Denti, E. 2001. Formal ReSpecT. In Electronic Notes in Theoretical Computer Science. 48, 1, 179--196.Google Scholar
Cross Ref
- Papadopoulos, G. A. and Arbab, F. 1998. Coordination models and languages. In Advances in Computers 46, 330--401. Academic Press.Google Scholar
- Picco, G. P., Murphy, A. L., and Roman, G.-C. 1999. Lime: Linda meets mobility. Proceedings of the 21st International Conference on Software Engineering. 368--377. Google Scholar
Digital Library
- Richi, A. and Omicini, A. 2003. Supporting coordination in open computational systems with TuCSon. WETICE. 365--370. Google Scholar
Digital Library
- Roman, G.-C. and Payton, J. 2005. A Principled Exploration of Coordination Models. Theor. Comput. Sci. 336, 2--3, 367--401. Google Scholar
Digital Library
- Roman, G.-C. and McCann, P. J. 2002. A Notation and Logic for Mobile Computing. Formal Methods in System Design 20, 47--68. Google Scholar
Digital Library
- Ren, S., Chen, N., Yu, Y., Poirot, P.-E., Shen, L., and Marth, K. 2006. Actors, roles and coordinators a coordination model for open distributed embedded systems. Coord. Models Lang. 4038/2006, 247--265. LNCS, Springer-Verlag. Google Scholar
Digital Library
- Ren, S., Venkatasubramanian, N., and Agha, G. A. 1997. Formalizing Multimedia QoS constraints using actors. In Proceedings of Second IFIP International Conference on Formal Methods for Open Object Based Distributed Systems, 139--156. Google Scholar
Digital Library
- Saraswat, V. A. 1993. Concurrent Constraint Programming. The MIT Press, ISBN: 0-262-19297-7 edition.Google Scholar
- Varela, C. A. and Agha, G. A. 1999. A hierarchical model for coordination of concurrent activities. Coord. Models Lang. 1594/1999, 166-178. LNCS, Springer-Verlag. Google Scholar
Digital Library
- Venkatasubramanian, N., Agha, G. A., and Talcott, C. 1999. A MetaObject framework for QoS-based distributed resource management. In Proceedings of the Third International Symposium on Computing in Object-Oriented Parallel Environments.Google Scholar
- Wirth, N. 1977. Towards a discipline of real-time programming. Comm. ACM. 20, 8, 577--583. Google Scholar
Digital Library
Index Terms
The role of roles in supporting reconfigurability and fault localizations for open distributed and embedded systems
Recommendations
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 LanguagesThis 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 ...
The Need for a Role Ontology
The importance of employees as knowledge workers acting in the correct roles is not a new phenomenon, but as work itself becomes less tangible, concerns with understanding, describing, and managing roles becomes an increasingly complex, challenging, and ...
Detection of Roles of Actors in Social Networks Using the Properties of Actors' Neighborhood Structure
DEPCOS-RELCOMEX '08: Proceedings of the 2008 Third International Conference on Dependability of Computer Systems DepCoS-RELCOMEXMembers of the societies form many complex social relations that are often the subject of study in order to classify the members according to the roles they play in the considering society. Classification of roles played by the actors can be very ...






Comments