A Formal Model for Organisational Structures behind Process-Aware Information Systems

  • Michael Köhler-Bußmeier
  • Matthias Wester-Ebbinghaus
  • Daniel Moldt
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5460)


We present a formal model for the organisation of process-aware information systems. Our approach focuses on the structures “behind” business processes, like e.g. team formation and coordination. Our Petri net based model directly integrates organisational concepts like roles, teams etc. – allowing an alignment of business and IT. The benefit of this modelling overhead is that business reorganisation processes are carried out as formal model transformations. Additionally, the automated mapping of our models to multi-agent systems – in the spirit of the model driven architecture idea – is directly supported by our approach.


Business Process Multiagent System Role Producer Team Formation Position Agent 
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.
    Smith, R.G.: The contract net: A formalism for the control of distributed problem solving. In: 5th Conference on Artificial Intelligence (IJCAI 1977) (1977)Google Scholar
  2. 2.
    zur Mühlen, M.: Evaluation of workflow management systems using meta models. In: International Conference on System Sciences, vol. 5. IEEE CS, Los Alamitos (1999)Google Scholar
  3. 3.
    van der Aalst, W.V.D.: Verification of workflow nets. In: [20], pp. 407–426Google Scholar
  4. 4.
    Durfee, E.H., Lesser, V.R., Corkill, D.D.: Trends in cooperative distributed problem solving. Transactions on Knowledge and Data Engineering 1, 63–83 (1989)CrossRefGoogle Scholar
  5. 5.
    Ellis, C.A., Wainer, J.: Groupware and computer supported cooperative work. In: Weiß, G. (ed.) Multiagent systems, pp. 425–458. MIT Press, Cambridge (1999)Google Scholar
  6. 6.
    Ossowski, S.: Co-ordination in Artificial Agent Societies. Springer, Heidelberg (1999)Google Scholar
  7. 7.
    Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 19(4), 281–316 (2005)CrossRefGoogle Scholar
  8. 8.
    Prietula, M.J., Carley, K.M., Gasser, L. (eds.): Simulating Organisations. Computational Models of Institutions and Groups. AAAI/MIT-Press (1998)Google Scholar
  9. 9.
    Boissier, O., Hübner, J.F., 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)CrossRefGoogle Scholar
  10. 10.
    Rinderle-Ma, S., Reichert, M.: A formal framework for adaptive access control models. In: Spaccapietra, S., Atzeni, P., Fages, F., Hacid, M.-S., Kifer, M., Mylopoulos, J., Pernici, B., Shvaiko, P., Trujillo, J., Zaihrayeu, I. (eds.) Journal on Data Semantics IX. LNCS, vol. 4601, pp. 82–112. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  11. 11.
    Klarmann, J.: A comprehensive support for changes in organizational models of workflow management systems. In: 4th International Conference on Information Systems Modelling (2001)Google Scholar
  12. 12.
    van der Aalst, W.V.D.: Interorganizational workflows Systems Analysis - Modelling. Simulation 34(3), 335–367 (1999)zbMATHGoogle Scholar
  13. 13.
    Kindler, E.: A compositional partial order semantics for Petri net components. In: [20]Google Scholar
  14. 14.
    Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  15. 15.
    Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125–147 (1983)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Köhler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae 79(3-4), 415–430 (2007)MathSciNetzbMATHGoogle Scholar
  17. 17.
    Köhler, M., Moldt, D., Rölke, H.: Modeling the behaviour of Petri net agents. In: Colom, J.-M., Koutny, M. (eds.) ICATPN 2001. LNCS, vol. 2075, pp. 224–241. Springer, Heidelberg (2001)CrossRefGoogle Scholar
  18. 18.
    Durfee, E.H., Lesser, V.R.: Partial global planning. IEEE Transactions on Systems, Man, and Cybernetics 21(5), 1167–1183 (1991)CrossRefGoogle Scholar
  19. 19.
    Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)zbMATHGoogle Scholar
  20. 20.
    Azéma, P., Balbo, G. (eds.): ICATPN 1997. LNCS, vol. 1248. Springer, Heidelberg (1997)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Michael Köhler-Bußmeier
    • 1
  • Matthias Wester-Ebbinghaus
    • 1
  • Daniel Moldt
    • 1
  1. 1.Department of InformaticsUniversity of HamburgHamburgGermany

Personalised recommendations