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.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
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)