Bridging the gap between business models and workflow specifications

International Journal of Cooperative Information Systems

Volumn 13, Issue 3, 2004, Pages 289-332

  Dehnert, Juliane ^a   Van Der Aalst, Wil M P ^b  

^a Fraunhofer Institute for Software and Systems Engineering (ISST)   (Germany)

^b EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business process modeling; Controller synthesis; Event driven process chains; Petri nets; Workflow modeling

Indexed keywords

COMPUTER SOFTWARE; INFORMATION TECHNOLOGY; MATHEMATICAL MODELS; OPTIMIZATION; PETRI NETS; PROJECT MANAGEMENT; SCHEDULING; SOCIETIES AND INSTITUTIONS;

BUSINESS PROCESS MODELING; CONTROLLER SYNTHESIS; EVENT-DRIVEN PROCESS CHAINS; WORKFLOW MODELING;

ENTERPRISE RESOURCE PLANNING;

EID: 8644243245     PISSN: 02188430     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218843004000973     Document Type: Conference Paper

References (51)

1. Staffware, St affware 2000/GWD User Manual, Staffware plc, Berkshire, UK, 1999.
2. W. M. P. van der Aalst, Don't go with the flow: Web services composition standards exposed. IEEE Intelligent Systems 18(1) (2003) 72-76.
3. BEA Systems, IBM Corporation, Microsoft Corporation, SAP AG, Siebel Systems, Business process execution language for web services (Version 1.1) (2003).
4. R. Eshuis and R. Wieringa, A real-time execution semantics for UML activity diagrams, 4th Int. Conf. on Fundamental Approaches to Software Engineering (FASE 2001) ed. H. Hussmann, Lecture Notes in Computer Science, Vol. 2029 (Springer, 2001), pp. 76-90.
5. R. Eshuis, Semantics and verification of UML activity diagrams for workflow modeling, PhD thesis, University of Twente, NL (2002).
6. D. Wodtke and G. Weikum, A formal foundation for distributed workflow execution based on state charts, Int. Conf. on Database Theory (1997).
7. R. Eshuis and R. Wieringa, Requirements level semantics for UML statecharts, in Formal Methods for Open Object-Based Distributed Systems IV, eds. S. F. Smith and C. L. Talcott, Proc. FMOODS'2000, September, 2000, Stanford, CA, USA (Kluwer Academic Publishers, 2000).
8. W. M. P. van der Aalst, Formalization and verification of event-driven process chains, Information and Software Technology 41(10) (1999) 639-650.
9. D. Moldt and J. Rodenhagen, Ereignisgesteuerte Prosessketten und Petrinetze zur Modellierung von Workflows, Visuelle Verhaltensmodellierung verteilter und nebenläufiger Software-Systeme, Fachberichte Informatik, 24/00-I (2000) 57-63.
10. P. Langner, C. Schneider and J. Wehler, Petri net based certification of event-driven process chains, in Application and Theory of Petri Nets, eds. J. Desel and M. Silva, Lecture Notes in Computer Science, Vol. 1420 (Springer, Berlin, 1998), pp. 286-305.
11. M. Nüttgens and F. J. Rump, Syntax und Semantik Er eignisgesteuerter Prozessketten (EPK), Prozessorientierte Methoden und Werkzeuge für die Entwicklung von Informationssystemen, eds. J. Desel and M. Weske, Lecture Notes in Informatics, GI-Edition (2002).
12. F. J. Rump, Geschäftsprozessmanagement auf der Basis ereignisgesteuerter Prozessketten. Formalisierung, Analyse und Ausführung von EPKs (Teubner, Stuttgart, 1999).
13. P. Muth, D. Wodtke, J. Weissenfels, A. K. Dittrich and G. Weikum, Enterprisewide workflow management based on state and activity charts, eds. A. Dogac, L. Kalinichenko, T. Özsu and A. Sheth, Advances in Workflow Management Systems and Interoperability, Lecture Notes in Computer Science (Springer-Verlag, 1998).
14. C. A. Petri, (Kommunikation mit outomaten), PhD thesis, TU Darmstadt, Darmstadt, (1962).
15. W. M. P. van der Aalst, The application of petri nets to workflow management, The Journal of Circuits, Systems and Computers 8(1) (1998) 21-66.
16. A. Agostini and G. de Michelis, A light workflow management system using simple process models, Computer Supported Cooperative Work 9(3-4) (2000) 335-363.
17. W. M. P. van der Aalst and A. H. M. ter Hofstede, YAWL: Yet another workflow language, Accepted for publication in Information Systems, and also available as QUT Technical Report, FIT-TR-2003-04, Queensland University of Technology, Brisbane, 2003.
18. N. R. Adam, V. Atluri and W.-K. Huang, Modeling and analysis of workflows using petri net, J. Intelligent Information System, Special Issue on Workflow and Process Management 10(2) (1998) 131-158.
19. Software-Ley, (COSA 3.0 User Manual), Software-Ley GmbH, Pullheim, Germany, 1999.
20. Get Process AG, Oberwil, Switzerland, INCOME Suite.
21. G. Keller and T. Teufel, SAP R/3 Process Oriented Implementation (Addison-Wesley, Reading, MA, 1998).
22. A. W. Scheer, Business Process Engineering, ARIS-Navigator for Reference Models for Industrial Enterprises (Springer, 1994).
23. G. Keller, M. Nüttgens and A. W. Scheer, Semantische Processmodellierung auf der Grundlage Ereignisgesteuerter Prozessketten (EPK), Veröffentlichungen des Instituts für Wirtschaftsinformatik, Heft 89, University of Saarland, Saarbrücken, 1992.
24. W. M. P. van der Aalst, J. Desel and E. Kindler, On the semantics of EPCs: A vicious circle, in Proceedings of the EPK 2002: Business Process Management Using EPCs, eds, M. Nüttgens and F. J. Rump, Trier, Germany, Gesellschaft für Informatik, Bonn November 2002, pp. 71-80.
25. W. M. P. van der Aalst, Workflow verification: Finding control-flow errors using petrinet based techniques, in Business Process Mangement: Models, Techniques, and Empirical Studie, Lecture Notes in Computer Science, Vol. 1806 (Springer-Verlag, 2000), pp. 161-183.
26. H. M. W. Verbeek, T. Basten and W. M. P. van der Aalst, Diagnosing workflow processes using woflan, The Computer Journal 44(4) (2001) 246-279.
27. Unified Modeling Language: Superstructure (version 2.0 Final Adopted Specification), 2003.
28. D. Wendlandt, Workflow-management mit UML-Aktivitätsdiagrammen und deren Verifizierung, Master's thesis, Technical University Berlin (2004).
29. J. Dehnert and P. Rittgen, Relaxed soundness of business processes, in Advanced Information System Engineering, CAISE 2001, eds. K. L. Dittrich, A. Geppert and M. C. Norrie, Lecture Notes in Computer Science, Vol. 2068 (Springer, 2001), pp. 57-170.
30. K. Schmidt, LoLA: A low level analyser, in Proc. Int. Conf. Application and Theory of Petri net, Lecture Notes in Computer Science, Vol. 1825 (1999) 465-474.
31. J. Dehnert, A methodology for workflow modeling - From business process modeling towards sound workflow specification, PhD thesis, TU Berlin (2003).
32. J. Dehnert, Non-controllable choice robustness: Expressing the controllability of workflow processes, in 23rd Int. Conf. on Application and Theory of Petri Nets, eds. J. Esparza and C. Lakos, Lecture Notes in Computer Science, Vol. 2360 (Springer, 2002), pp. 121-141.
33. W. Thomas, On the synthesis of strategies in infinite games, Symposium on Theoretical Aspects of Computer Science (1995) 1-13.
34. A. Pnueli and R. Rosner, On the synthesis of a reactive module, in POPL '89, Proceedings of the Sixteenth Annual ACM Symposium on Principles of Programming Languages (ACM Press, New York, 1989), pp. 179-190.
35. Z. Manna and A. Pnueli, The Temporal Logic of Reactive and Concurrent Systems (Springer, New York, 1992).
36. A. Ehrenfeucht and G. Rozenberg, Partial (Set) 2-structures. Part II: State spaces of concurrent systems, Acta Informatica 27(4) (1990) 343-368.
37. M. Nielsen, G. Rozenberg and P. S. Thiagarajan, Elementary transition systems, Theoretical Computer Science 96(1) (April 1992) 3-33.
38. J. Desel and W. Reisig, The synthesis problem of petri nets, Acta Informatica 33(4) (1996) 297-315.
39. J. Cortadella, M. Kishinevsky, L. Lavagno and A. Yakovlev, Deriving petri nets from finite transition systems, IEEE Transactions on Computers 47(8) (1998) 859-882.
40. E. Badouel, P. Darondeau and B. Caillaud, Distributing finite automat a through petri net synthesis, Formal Aspects of Computing 13 (2002) 447-470.
41. A. Ghaffari, N. Rezg and X. Xie, Design of a live and maximally pesmissive petri net coutroller using the theory of regions, in IEEE Transactions on Robotics and Antouation 19(1) (2003) 137-142.
42. M. Mukund, Petri nets and step transition systems, International Journal of Foundations of Computer Science 3(4) (1992) 443-478.
43. E. Badouel, L. Bernadinello and P. Darondeau, Polynomial algorithms for the synthesis of bounded nets, in Caap'95, Lecture Notes in Computer Science, Vol. 915 (1995) 647-679.
44. L. Bernardinello, D. DeMichelis, K. Petruni and S. Vigna, On synchronic structure of transition systems, in Structures in Concurrency Theory, ed. J. Desel (Springer, 1996) 11-31.
45. E. Badouel and P. Darondeau, Theory of regions, in Lectures on Petri Nets I: Basic Model, eds. W. Reisig and G. Rozenberg, Lecture Notes in Computer Science, Vol. 1491 (Springer, 1998) 529-586.
46. J. Cortadella, M. Kishinevsky, A. Kondratyev, L. Lavagno and A. Yakovlev, Petrify: A tool for manipulating concurrent specifications and synthesis of asynchronous controllers, IEICE Transactions on Information and Systems E80-D(3) (1997) 315-325.
47. K. Yamalidou, J. Moody, M. Lemmon and P. Antsakli, Feedback control of Petri nets based on place invariants, Automatica 32(1) (1996) 15-28.
48. A. Giua, F. DiCesare and M. Silva, Generalized mutual exclusion constraints on nets with uncontrollable transitions, in Proc. IEEE Int. Conf. Systems, Man, and Cybernetics, 1992, Chicago, IL, pp. 974-979.
49. A. Agostini and G. De Michelis, Improving flexibility of workflow management systems, in Business Process Management 1806 (Springer, 2000) 218-233.
50. J. Esparza and M. Nielsen, Decidability issues for petri nets: A survey, J. Information Processing and Cybernetics 30 (1994) 143-160.
51. W. M. P. van der Aalst, A. H. M. ter Hofstede, B. Kiepuszewski and A. P. Barros, Workflow patterns, Distributed and Parallel Databases 14(3) (2003) 5-51.