Fundamentals of control flow in workflows

Acta Informatica

Volumn 39, Issue 3, 2003, Pages 143-209

  Kiepuszewski, B ^a   Ter Hofstede, A H M ^a   Van der Aalst, W M P ^a,b  

^a QUEENSLAND UNIVERSITY OF TECHNOLOGY   (Australia)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

[No Author keywords available]

Indexed keywords

WORKFLOW MANAGEMENT;

ADMINISTRATIVE DATA PROCESSING; INFORMATION MANAGEMENT; RESEARCH;

INFORMATION TECHNOLOGY;

EID: 0037362238     PISSN: 00015903     EISSN: None     Source Type: Journal    
DOI: 10.1007/s00236-002-0105-4     Document Type: Article

References (42)

1. N. R. Adam, V. Atluri, W. Huang. Modeling and analysis of workflows using Petri nets. Journal of Intelligent Information Systems (JIIS), Special Issue on Workflow and Process Management, 10(2):131-158, March/April 1998
2. W.M.P. van der Aalst. The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers, 8(1):21-66, 1998
3. W.M.P. van der Aalst. Formalization and Verification of Event-driven Process Chains. Information and Software Technology, 41(10):639-650, 1999
4. W.M.P. van der Aalst, A.P. Barros, A.H.M. ter Hofstede, B. Kiepuszewski. Advanced Workflow Patterns. In O. Etzion, P. Scheuermann, editors, Fifth IFCIS International Conference on Cooperative Information Systems (CoopIS'2000), volume 1901 of Lecture Notes in Computer Science, pages 18-29, Eilat, Israel, September 2000. Springer-Verlag
5. W.M.P. van der Aalst, K.M. van Hee. Workflow Management: Models, Methods, and Systems. MIT press, Cambridge, MA, 2002
6. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, A.P. Barros. Workflow Patterns. Technical Report WP 47, BETA Research Institute, Eindhoven University of Technology, Eindhoven, The Netherlands, August 2000
7. W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kiepuszewski, A.P. Barros. Workflow Patterns. QUT Technical report, FTT-TR-2002-02 (to appear in Distributed and Parallel Databases), Queensland University of Technology, Brisbane, 2002. http://www.tm.tue.nl/it/research/patterns
8. J.C.M. Baeten, W.P. Weijland. Process Algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, United Kingdom, 1990
9. F. Casati. Semantics and Formal methods for the Design of Workflows and their Exceptions. PhD thesis, Politecnico di Milano, Milano, Italy, 1998
10. F. Casati, F.S. Ceri B. Pernici, G. Pozzi. Conceptual Modeling of Workflows. In M.P. Papazoglou, editor, Proceedings of the 14th International Object-Oriented and Entity-Relationship Modeling Conference, volume 1021 of Lecture Notes in Computer Science, pages 341-354. Springer-Verlag, Berlin, 1998
11. J. Desel, J. Esparza. Free Choice Petri Nets, volume 40 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge, United Kingdom, 1995
12. J. Dehnert, P. Rittgen. Relaxed Soundness of Business Processes. In K.R. Dittrich, A. Geppert, M.C. Norrie, editors, Proceedings of the 13th International Conference on Advanced Information Systems Engineering (CAiSE'01), volume 2068 of Lecture Notes in Computer Science, pages 157-170. Springer-Verlag, Berlin, 2001
13. C.A. Ellis. Information Control Nets: A Mathematical Model of Office Information Flow. In Proceedings of the Conference on Simulation, Measurement and Modeling of Computer Systems, pages 225-240, Boulder, Colorado, 1979. ACM Press
14. L. Fischer, editor. Workflow Handbook 2001, Workflow Management Coalition. Future Strategies, Lighthouse Point, Florida, 2001
15. H.J. Genrich. Predicate/Transition Nets. In W. Brauer, W. Reisig, G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, volume 254 of Lecture Notes in Computer Science, pages 207-247. Springer-Verlag, Berlin, Germany, 1987
16. R.J. van Glabbeek. The linear time-branching time spectrum. In J.C.M. Baeten, J.W. Klop, editors, Proceedings of CONCUR'90. Theories of Concurrency: Unification and Extension, pages 278-297, Berlin, Germany, 1990. Springer-Verlag
17. th International Conference on Concurrency Theory, Hildesheim, Germany, August 1993, volume 715 of Lecture Notes in Computer Science, pages 66-81. Springer, 1993
18. R.J. van Glabbeek. What is Branching Time Semantics and Why to Use It? In M. Nielsen, editor, The Concurrency Column, pages 190-198. Bulletin of the EATCS 53, 1994. Also available as Report STAN-CS-93-1486, Stanford University, 1993, and by ftp at ftp://Boole.stanford.edu/pub/branching.ps.gz
19. H.J. Genrich, P. S. Thiagarajan. A Theory of Bipolar Synchronization Schemes. Theoretical Computer Science, 30(3):241-318, 1984
20. R.J. van Glabbeek, F.W. Vaandrager. Petri net models for algebraic theories of concurrency (extended abstract). In J.W. de Bakker, A.J. Nijman, P.C. Treleaven, editors, Proceedings PARLE, Parallel Architectures and Languages Europe, Vol. II: Parallel Languages, volume 259 of Lecture Notes in Computer Science, pages 224-242, Eindhoven, The Netherlands, June 1987. Springer Verlag
21. A.H.M. ter Hofstede, M.E. Orlowska. On the Complexity of Some Verification Problems in Process Control Specifications. Computer Journal, 42(5):349-359, 1999
22. A.H.M. ter Hofstede, M.E. Orlowska, J. Rajapakse. Verification Problems in Conceptual Workflow Specifications. Data & Knowledge Engineering, 24(3):239-256, January 1998
23. S. Jablonski, C. Bussler. Workflow Management: Modeling Concepts, Architecture, and Implementation. International Thomson Computer Press, London, UK, 1996
24. K. Jensen. Coloured Petri Nets. In W. Brauer, W. Reisig, G. Rozenberg, editors, Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986 Part I, volume 254 of Lecture Notes in Computer Science, pages 248-299, Berlin, Germany, 1987. Springer-Verlag
25. B. Kiepuszewski. Expressiveness and Suitability of Languages for Control Flow Modelling in Workflows (submitted). PhD thesis, Queensland University of Technology, Brisbane, Australia, 2002. Available via http://www.tm.tue.nl/it/research/patterns
26. G. Keller, M. Nüttgens, A.W. Scheer. Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89 (in German), University of Saarland, Saarbrücken, 1992
27. P. Lawrence, editor. Workflow Handbook 1997, Workflow Management Coalition. John Wiley and Sons, New York, 1997
28. F. Leymann, D. Roller. Production Workflow: Concepts and Techniques. Prentice-Hall PTR, Upper Saddle River, New Jersey, 1999
29. P. Langner, C. Schneider, J. Wehler. Petri Net Based Certification of Event driven Process Chains. In J. Desel, M. Silva, editors, Application and Theory of Petri Nets 1998, volume 1420 of Lecture Notes in Computer Science, pages 286-305. Springer-Verlag, Berlin, 1998
30. R. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1980
31. R. Milner. Communication and Concurrency. Prentice-Hall, Englewood Cliffs, New Jersey, 1989
32. R. Milner. Communicating and Mobile Systems: The Pi Calcalus, volume 92. Cambridge University Press, Cambridge, UK, 1999
33. T. Murata. Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE, 77:541-580, 1989
34. L. Pomello, G. Rozenberg, C. Simone. A Survey of Equivalence Notions of Net Based Systems. In G. Rozenberg, editor, Advances in Petri Nets, volume 609 of Lecture Notes in Computer Science, pages 410-472. Springer, 1992
35. P. Rittgen. Modified EPCs and their Formal Semantics. Technical report 99/19, University of Koblenz-Landau, Koblenz, Germany, 1999
36. W. Reisig, G. Rozenberg, editors. Lectures on Petri Nets I: Basic Models, volume 1491 of Lecture Notes in Computer Science. Springer-Verlag, Berlin, 1998
37. F. Rump. Erreichbarkeitsgraphbasierte Analyse ereignisgesteuerter Prozessketten. Technischer Bericht, Institut OFFIS, 04/97 (in German), University of Oldenburg, Oldenburg, 1997
38. P. Straub, C. Hurtado. Business Process Behavior is (Almost) Free-Choice. In Proceedings of the IMACS-IEEE Multiconference on Computational Engineering in Systems Applications (CESA'96), Lille, France, July 1996
39. E. Smith. On the border of causality: contact and confusion. Theoretical Computer Science, 153:245-270, 1996
40. Verve. Verve Component Workflow Engine Concepts. Verve, Inc., San Francisco, CA, USA, 2000
41. Workflow Management Coalition. Terminology & Glossary. Document Number WFMC-TC-1011, Document Status - Issue 3.0, February 1999. www.wfmc.org
42. Workflow Patterns Home Page, 2002. http://www.tm.tue.nl/it/research/patterns