Abstract
Software systems are subject to ever increasing complexity and in need of efficient structuring. The concept of organization as an expressive and abstract real-world reference presents a promising starting point. Organizational concepts have particularly been studied within the multi-agent systems community. However, there exists a conceptual gap between organizational specifications and their multi-agent implementation. We address this problem by presenting an integrated approach to formalize organizational models with Petri nets and to directly deploy these specifications in a multi-agent system. The operational semantics of Petri nets establishes a close link between organizational specification and deployment that eases system development and maintenance. As an important example, we are able to describe the formation of multi-agent teams in an organizational scenario in terms of Petri net dynamics.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Wester-Ebbinghaus, M., Moldt, D., Reese, C., Markwardt, K.: Towards Organization–Oriented Software Engineering. In: Züllighoven, H. (ed.) Software Engineering Konferenz 2007 in Hamburg: SE 2007 Proceedings. LNAI, vol. 105, pp. 205–217. GI (2007)
Boissier, O., Hübner, J., Sichman, J.S.: Organization oriented programming: From closed to open organizations. In: O’Hare, G.M.P., Ricci, A., O’Grady, M.J., Dikenelli, O. (eds.) ESAW 2006. LNCS, vol. 4457, pp. 86–105. Springer, Heidelberg (2007)
Hübner, J.F., Sichman, J.S., Boissier, O.: A model for the structural, functional and deontic specification of organizations in multiagent systems. In: Bittencourt, G., Ramalho, G.L. (eds.) SBIA 2002. LNCS, vol. 2507, pp. 439–448. Springer, Heidelberg (2002)
Esteva, M., Padget, J., Sierra, C.: Formalizing a language for institutions and norms. In: Meyer, J.-J.C., Tambe, M. (eds.) ATAL 2001. LNCS, vol. 2333, pp. 348–366. Springer, Heidelberg (2002)
Pynadath, D., Tambe, M.: An automated teamwork infrastructure for heterogeneous software agents and humans. Autonomous Agents and Multi-Agent Systems 7(1-2), 71–100 (2003)
Sonenberg, E., Tidhar, G., Werner, E., Kinny, D., Ljungberg, M., Rao, A.: Planned team activity. In: Castelfranchi, C., Werner, E. (eds.) MAAMAW 1992. LNCS, vol. 830, pp. 227–256. Springer, Heidelberg (1994)
Mintzberg, H.: Structure in Fives: Designing Effective Organizations. Prentice-Hall, Englewood Cliffs (1983)
Scott, W.R.: Organizations: Rational, Natural and Open Systems. Prentice-Hall, Englewood Cliffs (2003)
Köhler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae 79(3-4), 415–430 (2006)
Girault, C., Valk, R.: Petri nets for systems engineering: a guide to modelling, verification and applications. Springer, Heidelberg (2003)
Cabac, L., Moldt, D., Rölke, H.: A proposal for structuring Petri net-based agent interaction protocols. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 102–120. Springer, Heidelberg (2003)
Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125–147 (1983)
Best, E., Fernández, C.: Nonsequential processes: a Petri net view. Springer, Heidelberg (1988)
Köhler, M., Moldt, D., Rölke, H.: Modelling the structure and behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)
Kummer, O.: Referenznetze. Logos Verlag, Berlin (2002)
Wooldridge, M., Jennings, N.: The cooperative problem-solving process. Journal of Logic and Computation 9(4), 563–592 (1999)
Köhler, M., Wester-Ebbinghaus, M.: Petri net-based specification and deployment of organizational models. In: Moldt, D., Kordon, F., van Hee, K., Colom, J.M., Bastide, R. (eds.) Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE 2007), Siedlce, Poland, Akademia Podlaska, pp. 67–81 (2007)
Wester-Ebbinghaus, M., Moldt, D.: Structure in threes: Modelling organization-oriented software architectures built upon multi-agent systems. In: Proceedings of the 7th International Conference on Autonomous Agents and Multi-Agent Systems (AAMAS 2008), pp. 1307–1311 (2008)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Köhler-Bußmeier, M., Wester-Ebbinghaus, M. (2009). Automatic Generation of Distributed Team Formation Algorithms from Organizational Models. In: Hübner, J.F., Matson, E., Boissier, O., Dignum, V. (eds) Coordination, Organizations, Institutions and Norms in Agent Systems IV . COIN 2008. Lecture Notes in Computer Science(), vol 5428. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00443-8_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-00443-8_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00442-1
Online ISBN: 978-3-642-00443-8
eBook Packages: Computer ScienceComputer Science (R0)