SPECIFICATION AND IMPLEMENTATION OF MULTI-AGENT ORGANIZATIONS

Fatemeh Ghassemi, Naser Nemat Bakhsh, Behrouz Tork Ladani, Marjan Sirjani

2006

Abstract

Multi-agent systems are used as a solution for complex and distributed systems. Since agents are autonomous they can be coordinated exogenously by a coordination language Reo. Reo coordinates agents without having any knowledge about agents. We apply organizational concepts to analyze and design such systems. In this paper, we propose a formal model to specify the results achieved during these phases. This formal model helps in designing a coherent and consistent system. The formal model is applied to make the implementation of system by Reo systematically. We will specify and implement system by Reo according to the formal model. This paper also defines how to convert the formal specification to a Reo circuit by providing Reo circuits for the different patterns of interaction protocols and how to compose simpler circuits to support more complex patterns.

References

  1. Arbab, F., 2003. Abstract behavior types: A foundation model for computers and their composition. In Proceeding of the First International Symposium on Formal Methods for Components and Objects(FMCO 2002), vol. 2852, pp 33- 70.
  2. Arbab, F., 2004. Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science, 14:329 - 366.
  3. Arbab, F. and Rutten, J., 2003. A coinductive calculus of component connectors., Recent Trends in Algebraic Development Techniques, Proceedings of 16th International Workshop on Algebraic Development Techniques (WADT 2002), volume 2755, pages 35-56.
  4. Clarck, D., 2005. Reo Lite. Internal report, Software Engineering Department, CWI.
  5. Dastani, M., Arbab, F., and de Boer, F. S., 2005. Coordination and composition in multi-agent systems. In4rd International Joint Conference on Autonomous Agentsand Multiagent Systems (AAMAS 2005), July 2005, Utrecht, Netherlands.
  6. DeLoach, S., 2002. Analysis and design of multi-agent systems using hybrid coordination media. In proceedings of Software Engineering in Multiagent Systems.
  7. DeLoach, S. and Matson, E., 2004. An organization model for designing adaptive multiagent systems. In The AAAI-04 Workshop on Agent Organizations: Theory and practice.
  8. Ghassemi, F., 2006. Analysis and Design of Multi-agent Systems using Reo. Master Thesis, Isfahan University.
  9. Giorgini, P., Kolp, M., Mylopoulos, J., and Pistore, M., 2004. The Tropos Methodology: An Overview. In Methodologies and Software Engineering for Agent Systems, Kluwer.
  10. Grossi, D., Dignum, F., Dastani, M., and Royakkers, L. M. M., 2005. Foundations of organizational structures in multiagent systems. In 4rd International Joint Conference on Autonomous Agents and Multiagent Systems, pp 690- 697.
  11. Omicini, A., Ricci, A., Viroli, M., Castelfranchi, C., and Tummolini, L., 2004. Coordination artifacts: Environmentbased coordination for intelligent agents. In proceeding of 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), pages 286-293.
  12. Wooldridge, M. and Jennings, N., 2000. The Gaia Methodology for agent-oriented analysis and design. Autonomous Agents and Multi-Agent Systems, 3(3):285- 312.
  13. Zambonelli, F., Jennings, N. R., and Wooldridge, M., 2000. Organizational abstractions for the analysis and design of multi-agent systems. In Agent-Oriented Software Engineering, First International Workshop, pages 235- 251.
  14. Zlatev, Z., Diakov, N., and Pokraev, S., 2004. Construction of negotiation protocols for e-commerce applications. ACM SIGecom Exchanges, 5(2):12-22.
Download


Paper Citation


in Harvard Style

Ghassemi F., Nemat Bakhsh N., Tork Ladani B. and Sirjani M. (2006). SPECIFICATION AND IMPLEMENTATION OF MULTI-AGENT ORGANIZATIONS . In Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST, ISBN 978-972-8865-46-7, pages 447-453. DOI: 10.5220/0001256204470453


in Bibtex Style

@conference{webist06,
author={Fatemeh Ghassemi and Naser Nemat Bakhsh and Behrouz Tork Ladani and Marjan Sirjani},
title={SPECIFICATION AND IMPLEMENTATION OF MULTI-AGENT ORGANIZATIONS},
booktitle={Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,},
year={2006},
pages={447-453},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001256204470453},
isbn={978-972-8865-46-7},
}


in EndNote Style

TY - CONF
JO - Proceedings of WEBIST 2006 - Second International Conference on Web Information Systems and Technologies - Volume 1: WEBIST,
TI - SPECIFICATION AND IMPLEMENTATION OF MULTI-AGENT ORGANIZATIONS
SN - 978-972-8865-46-7
AU - Ghassemi F.
AU - Nemat Bakhsh N.
AU - Tork Ladani B.
AU - Sirjani M.
PY - 2006
SP - 447
EP - 453
DO - 10.5220/0001256204470453