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

  • Shangping Ren
  • Yue Yu
  • Nianen Chen
  • Kevin Marth
  • Pierre-Etienne Poirot
  • Limin Shen
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4038)


This 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 treats a pervasive ODE system as a composition of concurrent computation and coerced coordination. In particular, concurrent computation is modeled as Actors, while coerced coordination specifies the system’s QoS requirements by mapping them to coordination constraints. The coordination constraints are transparently imposed on actors through message manipulations, which are carried out by the roles and coordinators. The coordinators are responsible for the coordination among roles, while the roles in our model provide abstractions for coordinated behaviors that may be shared by multiple actors and further assume local coordination responsibilities for the actors playing the roles. The role’s behavior abstraction decouples the syntactic dependencies between the coordinators and the actors, thus shielding the coordinator layer from the dynamicity of underlying actors inherent in ODE systems. This paper also formally defines the role and coordinator behaviors and the composition of the actor computation model with the proposed coerced coordination model. Our formal study has shown that the ARC system is closed under composition and recursion.


Coordination Model Constraint Store Coordination Requirement Coordinator Layer Concurrent Computation 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall International Series in Computer Science (1985) Google Scholar
  2. 2.
    Milner, R.: The Pi Calculus and its Applications (keynote address). In: IJCSL (1998)Google Scholar
  3. 3.
    Agha, G.: Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986)Google Scholar
  4. 4.
    Agha, G., Mason, I., Smith, S., Talcott, C.: Towards a Theory of Actor Computation. In: Cleaveland, W.R. (ed.) CONCUR 1992. LNCS, vol. 630, pp. 565–579. Springer, Heidelberg (1992)CrossRefGoogle Scholar
  5. 5.
    Siqueira, F., Cahill, V.: Quartz: A QoS architecture for Open Systems. In: Proceedings of International Conference on Distributed Computing Systems, pp. 197–204 (2000)Google Scholar
  6. 6.
    Becker, C., Geihs, K.: MAQS: management for adaptive QoS-enabled services. In: Proceedings of the IEEE Workshop on Middleware for Distributed Real-Time Systems and Services (1997)Google Scholar
  7. 7.
    Nahrstedt, K., Wichadakul, D., Xu, D.: Distributed QoS Compilation and Runtime Instantiation. In: Proceedings of IEEE/IFIP International Workshop on QoS (2000)Google Scholar
  8. 8.
    Halteren, A.T.: A reflective QoS provisioning service for object middleware. In: Position paper for the Workshop on Reflective Middleware (2000)Google Scholar
  9. 9.
    Papadopoulos, G.A., Arbab, F.: Coordination models and languages. In: Advances in Computer, pp. 329–400 (1998)Google Scholar
  10. 10.
    Carriero, N., Gelernter, D.: Linda in context. Communications of the ACM, 444–458 (1989)Google Scholar
  11. 11.
    Arbab, F.: IWIM: A communication model for cooperative systems. In: Proceedings of the 2nd International Conference on the Design of Cooperative Systems, Juanle-Pins, France, pp. 567–585 (1996)Google Scholar
  12. 12.
    Omicini, A., Zambonelli, F.: Tuple Centres for the Coordination of Internet Agents. In: Proceedings of the ACM Symposium on Applied Computing (1999)Google Scholar
  13. 13.
    Omicini, A., Denti, E.: Formal ReSpecT. Electronic Notes in Theoretical Computer Science (2001)Google Scholar
  14. 14.
    Arbab, F.: Abstract behavior types: A foundation model for components and their composition. Technical report, CWI, Amsterdam, Netherlands (2004)Google Scholar
  15. 15.
    Minsky, N.H., Ungureanu, V.: Law-governed interaction: a coordination and control mechanism for heterogeneous distributed systems. ACM Trans., 273–305 (2000)Google Scholar
  16. 16.
    Colman, A., Han, J.: Coordination systems in role-based adaptive software. In: Jacquet, J.-M., Picco, G.P. (eds.) COORDINATION 2005. LNCS, vol. 3454, pp. 63–78. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  17. 17.
    Cruz, J.C., Ducasse, S.: A Group Based Approach for Coordinating Active Objects. In: Proceedings of 2nd International Conference on Coordination Models and Languages (1999)Google Scholar
  18. 18.
    Arbab, F.: Reo: A Channel-based Coordination Model for Component Composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)zbMATHCrossRefMathSciNetGoogle Scholar
  19. 19.
    Omicini, A., Ricci, A., Viroli, M.: Formal Specification and Enactment of Security Policies through Agent Coordination Contexts. Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., Amsterdam (2003)Google Scholar
  20. 20.
    Berry, A., Kaplan, S.: Open, Distributed Coordination with Finesse. Technical Report, School of Information Technology. The University of Queensland, Australia (1999)Google Scholar
  21. 21.
    Cabri, G., Ferrari, L., Leonardi, L.: Agent role-based collaboration and coordination: a survey about existing approaches. In: International Conference on Systems, Man and Cybernetics, pp. 5473–5478 (2004)Google Scholar
  22. 22.
    Frølund, S.: Coordinating Distributed Objects: An Actor-Based Approach for Synchronization. MIT Press, Cambridge (1996)Google Scholar
  23. 23.
    Venkatasubramanian, N., Agha, G., Talcott, C.: A MetaObject Framework for QoS-Based Distributed Resource Management. In: Matsuoka, S., Tholburn, M. (eds.) ISCOPE 1999. LNCS, vol. 1732. Springer, Heidelberg (1999)Google Scholar
  24. 24.
    Varela, C.A., Agha, G.: A Hierarchical Model for Coordination of Concurrent Activities. In: Ciancarini, P., Wolf, A.L. (eds.) COORDINATION 1999. LNCS, vol. 1594, pp. 166–182. Springer, Heidelberg (1999)Google Scholar
  25. 25.
    Saraswat, V.A.: Concurrent Constraint Programming. MIT Press, Cambridge (1993)Google Scholar
  26. 26.
    Jamali, N., Ren, S.: A layered architecture for real-time open distributed systems. In: Proceedings of the 4th International Workshop on Software Engineering for Large-Scale Multi-Agent Systems (2005)Google Scholar
  27. 27.
    Ren, S., Shen, L., Tsai, J.: Reconfigurable coordination model for dynamic autonomous real-time systems. In: The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (2006)Google Scholar
  28. 28.
    Ren, S., Venkatasubramanian, N., Agha, G.A.: Formalizing qos constraints using actors. In: Proceedings of Second IFIP International Conference on Formal Methods for Open Object Based Distributed Systems (1997)Google Scholar
  29. 29.
    Kwiat, K., Ren, S.: A coordination model for improving software system attack tolerance and survivability in open hostile environments. In: The IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (2006)Google Scholar
  30. 30.
    Callsen, C.J., Agha, G.: Open Heterogeneous Computing in Actor Space. Journal of Parallel Distributed Computing, 289–300 (1994)Google Scholar
  31. 31.
    Bistarelli, S., Montanari, U., Rossi, F.: Soft Concurrent Constraint Programming. In: Le Métayer, D. (ed.) ESOP 2002. LNCS, vol. 2305, pp. 53–67. Springer, Heidelberg (2002)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Shangping Ren
    • 1
  • Yue Yu
    • 1
  • Nianen Chen
    • 1
  • Kevin Marth
    • 1
  • Pierre-Etienne Poirot
    • 1
  • Limin Shen
    • 1
  1. 1.Computer Science DepartmentIllinois Institute of TechnologyChicago

Personalised recommendations