Abstract
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 map** of our models to multi-agent systems – in the spirit of the model driven architecture idea – is directly supported by our approach.
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.
Similar content being viewed by others
References
Smith, R.G.: The contract net: A formalism for the control of distributed problem solving. In: 5th Conference on Artificial Intelligence (IJCAI 1977) (1977)
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)
van der Aalst, W.V.D.: Verification of workflow nets. In: [20], pp. 407–426
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)
Ellis, C.A., Wainer, J.: Groupware and computer supported cooperative work. In: Weiß, G. (ed.) Multiagent systems, pp. 425–458. MIT Press, Cambridge (1999)
Ossowski, S.: Co-ordination in Artificial Agent Societies. Springer, Heidelberg (1999)
Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 19(4), 281–316 (2005)
Prietula, M.J., Carley, K.M., Gasser, L. (eds.): Simulating Organisations. Computational Models of Institutions and Groups. AAAI/MIT-Press (1998)
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)
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)
Klarmann, J.: A comprehensive support for changes in organizational models of workflow management systems. In: 4th International Conference on Information Systems Modelling (2001)
van der Aalst, W.V.D.: Interorganizational workflows Systems Analysis - Modelling. Simulation 34(3), 335–367 (1999)
Kindler, E.: A compositional partial order semantics for Petri net components. In: [20]
Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)
Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125–147 (1983)
Köhler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae 79(3-4), 415–430 (2007)
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)
Durfee, E.H., Lesser, V.R.: Partial global planning. IEEE Transactions on Systems, Man, and Cybernetics 21(5), 1167–1183 (1991)
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)
Azéma, P., Balbo, G. (eds.): ICATPN 1997. LNCS, vol. 1248. Springer, Heidelberg (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Köhler-Bußmeier, M., Wester-Ebbinghaus, M., Moldt, D. (2009). A Formal Model for Organisational Structures behind Process-Aware Information Systems. In: Jensen, K., van der Aalst, W.M.P. (eds) Transactions on Petri Nets and Other Models of Concurrency II. Lecture Notes in Computer Science, vol 5460. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-00899-3_6
Download citation
DOI: https://doi.org/10.1007/978-3-642-00899-3_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-00898-6
Online ISBN: 978-3-642-00899-3
eBook Packages: Computer ScienceComputer Science (R0)