A formal model for organisational structures behind process-aware information systems

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5460 LNCS, Issue , 2009, Pages 98-114

  Köhler Bußmeier, Michael ^a   Wester Ebbinghaus, Matthias ^a   Moldt, Daniel ^a  

^a UNIVERSITY OF HAMBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED MAPPING; BUSINESS PROCESS; FORMAL MODEL; MODEL DRIVEN ARCHITECTURES; ORGANISATIONAL STRUCTURE; PROCESS-AWARE INFORMATION SYSTEMS; REORGANISATION; TEAM FORMATION;

GRAPH THEORY; INFORMATION SYSTEMS; PETRI NETS;

MULTI AGENT SYSTEMS;

EID: 70350294333     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-00899-3_6     Document Type: Conference Paper

References (20)

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)
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)
3. van der Aalst, W.V.D.: Verification of workflow nets. In: [20], pp. 407-426
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)
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)
6. Ossowski, S.: Co-ordination in Artificial Agent Societies. Springer, Heidelberg (1999)
7. Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. The Knowledge Engineering Review 19(4), 281-316 (2005)
8. Prietula, M.J., Carley, K.M., Gasser, L. (eds.): Simulating Organisations. Computational Models of Institutions and Groups. AAAI/MIT-Press (1998)
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)
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)
11. Klarmann, J.: A comprehensive support for changes in organizational models of workflow management systems. In: 4th International Conference on Information Systems Modelling (2001)
12. van der Aalst, W.V.D.: Interorganizational workflows Systems Analysis - Modelling. Simulation 34(3), 335-367 (1999)
13. Kindler, E.: A compositional partial order semantics for Petri net components. In: [20]
14. Martens, A.: Analyzing web service based business processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19-33. Springer, Heidelberg (2005)
15. Goltz, U., Reisig, W.: The non-sequential behaviour of Petri nets. Information and Control 57, 125-147 (1983)
16. Köhler, M.: A formal model of multi-agent organisations. Fundamenta Informaticae 79(3-4), 415-430 (2007)
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)
18. Durfee, E.H., Lesser, V.R.: Partial global planning. IEEE Transactions on Systems, Man, and Cybernetics 21(5), 1167-1183 (1991)
19. Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of algebraic graph transformation. Springer, Heidelberg (2006)
20. Azéma, P., Balbo, G. (eds.): ICATPN 1997. LNCS, vol. 1248. Springer, Heidelberg (1997)