Advertisement

An Organisation Infrastructure for Multi-agent Systems Based on Agent Coordination Contexts

  • Mirko Viroli
  • Andrea Omicini
  • Alessandro Ricci
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3673)

Abstract

We present an organisation infrastructure for open MASs (Multi-Agent Systems) built upon a role-based access control model (RBAC) allowing agent actions toward the other entities in the MAS (agents and resources) to be enabled and controlled.

To this end, an Agent Coordination Context (ACC) is created by the infrastructure and assigned to an agent as it enters the MAS. An ACC acts as a sort of private interface for the agent toward the environment: any agent action is thereafter enabled and controlled by its own ACC, which prevents those behaviours that are incorrect with respect to the role(s) played by the agent. For this purpose, each role is assigned a policy that flexibly specifies admissible actions and perceptions over time.

Details of this infrastructure are developed formally, through a process-algebraic description of the main infrastructure entities: this is meant to serve as a formal specification of the infrastructure, as well as of the language for expressing policies.

Keywords

Multiagent System Operational Semantic Operational Rule Label Transition System Agent Interaction 
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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Sandhu, R., Coyne, E.J., Feinstein, H.L., Youman, C.E.: Role-based control models. IEEE Computer 29, 38–47 (1996)Google Scholar
  2. 2.
    Ferraiolo, D., Kuhn, R.: Role-Based Access Control. In: 15th NIST–NSA National Computer Security Conference, Baltimore, MD, USA, pp. 554–563 (1992)Google Scholar
  3. 3.
    Omicini, A.: Towards a notion of agent coordination context. In: Marinescu, D.C., Lee, C. (eds.) Process Coordination and Ubiquitous Computing, pp. 187–200. CRC Press, Boca Raton (2002)Google Scholar
  4. 4.
    Ricci, A., Viroli, M., Omicini, A.: Agent coordination context: From theory to practice. In: Cybernetics and Systems 2004, Vienna, Austria. Austrian Society for Cybernetic Studies, vol. 2, pp. 618–623 (2004); Proceedings of 17th European Meeting on Cybernetics and Systems Research (EMCSR 2004), Vienna, Austria, April 13-16 (2004)Google Scholar
  5. 5.
    Omicini, A., Ricci, A., Viroli, M.: Formal specification and enactment of security policies through Agent Coordination Contexts. Electronic Notes in Theoretical Computer Science 85 (2003); Proceedings of 1st International Workshop Security Issues in Coordination Models, Languages and Systems (SecCo 2003), Eindhoven, The Netherlands, June 28-29 (2003)Google Scholar
  6. 6.
    Glabbeek, R.v.: The linear time – branching time spectrum I. The semantics of concrete, sequential processes. In: Handbook of Process Algebra, pp. 3–100. North-Holland, Amsterdam (2001)Google Scholar
  7. 7.
    Viroli, M., Ricci, A.: Instructions-based semantics of agent mediated interaction. In: [18], pp. 102–110Google Scholar
  8. 8.
    Kinny, D.: ViP: a visual programming language for plan execution systems. In: Castelfranchi, C., Johnson, W.L. (eds.) 1st International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2002), Bologna, Italy, vol. 3, pp. 721–728. ACM, New York (2002)CrossRefGoogle Scholar
  9. 9.
    Ferraiolo, D.F., Sandhu, R., Gavrila, S., Kuhn, D.R., Chandramouli, R.: Proposed NIST standard for role-based access control. ACM Transactions on Information and System Security (TISSEC) 4, 224–274 (2001)CrossRefGoogle Scholar
  10. 10.
    Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., Tummolini, L.: Coordination artifacts: Environment-based coordination for intelligent agents. In: [18], pp. 286–293Google Scholar
  11. 11.
    JADE-board: Java agent development framework (2000), http://jade.cselt.it
  12. 12.
    Omicini, A., Zambonelli, F.: Coordination for Internet application development. Journal of Autonomous Agents and Multi-Agent Systems 2, 251–269 (1999)CrossRefGoogle Scholar
  13. 13.
    Dulay, N., Damianou, N., Lupu, E., Sloman, M.: A policy language for the management of distributed agents. In: Wooldridge, M.J., Weiß, G., Ciancarini, P. (eds.) AOSE 2001. LNCS, vol. 2222, pp. 84–100. Springer, Heidelberg (2002) (Revised Papers and Invited Contributions)Google Scholar
  14. 14.
    Omicini, A., Ricci, A., Viroli, M.: RBAC for organisation and security in an agent coordination infrastructure. Electronic Notes in Theoretical Computer Science 128, 65–85 (2005); Proceedings of 2nd International Workshop on Security Issues in Coordination Models, Languages and Systems (SecCo 2004), August 30 (2004)Google Scholar
  15. 15.
    Noriega, P., Sierra, C.: Electronic institutions: Future trends and challenges. In: Klusch, M., Ossowski, S., Shehory, O. (eds.) CIA 2002. LNCS (LNAI), vol. 2446, pp. 14–17. Springer, Heidelberg (2002)CrossRefGoogle Scholar
  16. 16.
    Weigand, H., Dignum, V., Meyer, J.J., Dignum, F.: Specification by refinement and agreement: Designing agent interaction using landmarks and contracts. In: Petta, P., Tolksdorf, R., Zambonelli, F. (eds.) ESAW 2002. LNCS (LNAI), vol. 2577, pp. 257–269. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  17. 17.
    Cabri, G., Ferrari, L., Leonardi, L.: The RoleX environment for multi-agent cooperation. In: Klusch, M., Ossowski, S., Kashyap, V., Unland, R. (eds.) CIA 2004. LNCS (LNAI), vol. 3191, pp. 257–270. Springer, Heidelberg (2004)CrossRefGoogle Scholar
  18. 18.
    Jennings, N.R., Sierra, C., Sonenberg, L., Tambe, M. (eds.): AAMAS 2004. ACM, New York (2004)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

  • Mirko Viroli
    • 1
  • Andrea Omicini
    • 1
  • Alessandro Ricci
    • 1
  1. 1.DEIS, Alma Mater StudiorumUniversità di BolognaCesenaItaly

Personalised recommendations