Declarative workflows: Balancing between flexibility and support

Computer Science - Research and Development

Volumn 23, Issue 2, 2009, Pages 99-113

  Van Der Aalst, W M P ^a   Pesic, M ^a   Schonenberg, H ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Business Process Management; Flexibility; Process mining; Workflow management

Indexed keywords

BUSINESS PROCESS; BUSINESS PROCESS MANAGEMENT; DECLARATIVE WORKFLOWS; FLEXIBILITY; PROCESS MINING; PROCESS-AWARE INFORMATION SYSTEMS; WORKFLOW MANAGEMENT SYSTEMS; WORKFLOW MANAGEMENTS;

ENTERPRISE RESOURCE MANAGEMENT; INFORMATION SYSTEMS; WORK SIMPLIFICATION;

MANAGEMENT INFORMATION SYSTEMS;

EID: 67349232819     PISSN: 18652034     EISSN: 18652042     Source Type: Journal    
DOI: 10.1007/s00450-009-0057-9     Document Type: Article

References (48)

1. WMP van der Aalst 1998 The application of Petri nets to workflow management J Circ Syst Comput 8 1 21 66 (Pubitemid 128540249)
2. WMP van der Aalst 2001 Exterminating the dynamic change bug: a concrete approach to support workflow change Inform Syst Front 3 3 297 317 (Pubitemid 33339281)
3. van der Aalst WMP, Adams M, ter Hofstede AHM, Pesic M, Schonenberg H (2008) Flexibility as a service. BPM Center Report BPM-08-09, BPMcenter.org
4. van der Aalst WMP, van Dongen BF, Günther CW, Mans RS, Alves de Medeiros AK, Rozinat A, Rubin V, Song M, Verbeek HMW, Weijters AJMM (2007) ProM 4.0: Comprehensive support for real process analysis. In: Kleijn J, Yakovlev A (eds) Application and theory of Petri nets and other models of concurrency (ICATPN 2007), vol 4546 of Lecture Notes in Computer Science, pp 484-494. Springer-Verlag, Berlin
5. WMP van der Aalst S Jablonski 2000 Dealing with workflow change: identification of issues and solutions Int J Comput Syst Sci Eng 15 5 267 276
6. van der Aalst WMP, Pesic M (2006) DecSerFlow: Towards a truly declarative service flow language. In: Bravetti M, Nunez M, Zavattaro G (eds) International Conference on Web Services and Formal Methods (WS-FM 2006), vol 4184 of Lecture Notes in Computer Science, pp 1-23, Springer-Verlag, Berlin
7. WMP van der Aalst HA Reijers AJMM Weijters BF van Dongen AK Alves de Medeiros M Song HMW Verbeek 2007 Business process mining: an industrial application Inform Syst 32 5 713 732 (Pubitemid 46560274)
8. WMP van der Aalst M Weske D Grünbauer 2005 Case handling: a new paradigm for business process support Data Know Eng 53 2 129 162
9. Adams M (2007) Facilitating dynamic flexibility and exception handling for workflows. Phd thesis, Queensland University of Technology, Brisbane
10. Adams M, ter Hofstede AHM, van der Aalst WMP, Edmond D (2007) Dynamic, extensible and context-aware exception handling for workflows. In: Curbera F, Leymann F, Weske M (eds) Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), vol 4803 of Lecture Notes in Computer Science, pp 95-112. Springer-Verlag, Berlin
11. Adams M, ter Hofstede AHM, Edmond D, van der Aalst WMP (2006) Worklets: A service-oriented implementation of dynamic flexibility in workflows. In: Meersman R, Tari Z et al (eds) On the Move to Meaningful Internet Systems 2006, OTM Confederated International Conferences, 14th International Conference on Cooperative Information Systems (CoopIS 2006), vol 4275 of Lecture Notes in Computer Science, pp 291-308. Springer-Verlag, Berlin
12. Agostini A, De Michelis G (2000) Improving flexibility of workflow management systems. In: van der Aalst WMP, Desel J, Oberweis A (eds) Business process management: Models, techniques, and empirical studies, vol 1806 of Lecture Notes in Computer Science, pp 218-234. Springer-Verlag, Berlin
13. JF Allen 1983 Maintaining knowledge about temporal intervals Commun ACM 26 11 832 843 (Pubitemid 14488871)
14. PC Attie MP Singh EA Emerson A Sheth M Rusinkiewicz 1996 Scheduling workflows by enforcing intertask dependencies Distrib Syst Eng J 3 4 222 238
15. Attie PC, Singh MP, Sheth A, Rusinkiewicz M (1993) Specifying and enforcing intertask dependencies. In: 19th International Conference on Very Large Data Bases (VLDB), pp 134-145, Dublin, Ireland, August 24-27, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA
16. F Casati S Ceri B Pernici G Pozzi 1998 Workflow evolution Data Knowl Eng 24 3 211 238 (Pubitemid 128393378)
17. Clarke EM, Grumberg O, Peled DA (1999) Model checking. The MIT Press, Cambridge, London
18. Decker G, Grosskopf A, Barros A (2007) A graphical notation for modeling complex events in business processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp 27-36, IEEE Computer Society
19. Declare (2008) http://declare.sf.net. Accessed March 1, 2009
20. Dourish P, Holmes J, MacLean A, Marqvardsen P, Zbyslaw A (1996) Freeflow: Mediating between representation and action in workflow systems. In: Proceedings of the CM Conference on Computer Supported Cooperative Work (CSCW '96), pp 190-198. ACM Press, New York
21. Dumas M, van der Aalst WMP, ter Hofstede AHM (2005) Process-aware information systems: Bridging people and software through process technology. Wiley & Sons, Hoboken
22. Ellis CA, Keddara K, Rozenberg G (1995) Dynamic change within workflow systems. In: Comstock N, Ellis C, Kling R, Mylopoulos J, Kaplan S (eds) Proceedings of the Conference on Organizational Computing Systems, pp 10-21, Milpitas, California, ACM SIGOIS, ACM Press, New York
23. D Georgakopoulos M Hornick A Sheth 1995 An overview of workflow management: from process modeling to workflow automation infrastructure Distrib Parall Datab 3 119 153
24. Giannakopoulou D, Havelund K (2001) Automata-based verification of temporal properties on running programs. In: ASE '01: Proceedings of the 16th IEEE international conference on Automated software engineering, p 412, Washington, DC, IEEE Computer Society
25. Glance N, Pagani D, Pareschi R (1996) Generalised process structure grammars (GPSG) for flexible representations of work. In: Proceedings of the Conference on Computer-Supported Cooperative Work (CSCW'96), pp 190-198, ACM Press, New York
26. Heinl P, Horn S, Jablonski S, Neeb J, Stein K, Teschke M (1999) A comprehensive approach to flexibility in workflow management systems. In: Georgakopoulos G, Prinz W, Wolf AL (eds) Work Activities Coordination and Collaboration (WACC'99), pp 79-88, San Francisco, February, ACM press
27. Joeris G (2000) Decentralized and flexible workflow enactment based on task coordination agents. In: Wangler B, Bergman L (eds) Proceedings of the 12th International Conference on Advanced Information Systems Engineering (CAiSE'00), vol 1789 of Lecture Notes in Computer Science, pp 41-62, Stockholm, Sweden, Springer-Verlag, Berlin
28. Lamma E, Mello P, Montali M, Riguzzi F, Storari S (2007) Inducing declarative logic-based models from labeled traces. In: Alonso G, Dadam P, Rosemann M (eds) International Conference on Business Process Management (BPM 2007), vol 4714 of Lecture Notes in Computer Science, pp 344-359. Springer-Verlag, Berlin
29. de Leoni M, van der Aalst WMP, ter Hofstede AHM (2008) Visual support for work assignment in process-aware information systems. In: Dumas M, Reichert M, Shan MC (eds) International Conference on Business Process Management (BPM 2008), vol 5240 of Lecture Notes in Computer Science, pp 67-83. Springer-Verlag, Berlin
30. Lu R, Sadiq S, Padmanabhan V, Governatori G (2006) Using a temporal constraint network for business process execution. In: Proceedings of the 17th Australasian Database Conference (ADC '06), pp 157-166, Darlinghurst, Australia, Australian Computer Society, Inc
31. Ly LT, Rinderle S, Dadam P (2006) Semantic correctness in adaptive process management systems. In: Business process management, vol 4102 of Lecture Notes in Computer Science, pp 193-208. Springer-Verlag, Berlin (Pubitemid 44568327)
32. Minor M, Schmalen D, Koldehoff A, Bergmann R (2007) Structural adaptation of workflows supported by a suspension mechanism and by case-based reasoning. In: Proceedings of WETICE 2007, pp 370-375
33. Pesic M (2008) Constraint-based workflow management systems: Shifting control to users. Phd thesis, Eindhoven University of Technology, Eindhoven
34. Pesic M, Schonenberg H, van der Aalst WMP (2007) DECLARE: Full support for loosely-structured processes. In: Spies M, Blake MB (eds) Proceedings of the Eleventh IEEE International Enterprise Distributed Object Computing Conference (EDOC 2007), pp 287-298. IEEE Computer Society
35. Pesic M, Schonenberg MH, Sidorova N, van der Aalst WMP (2007) Constraint-based workflow models: Change made easy. In: Curbera F, Leymann F, Weske M (eds) Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), vol 4803 of Lecture Notes in Computer Science, pp 77-94. Springer-Verlag, Berlin
36. Raposo AB, Fuks H (2002) Defining task interdependencies and coordination mechanisms for collaborative systems. In: Blay-Fornarino M, Pinna-Dery AM, Schmidt K, Zaratè P (eds) Cooperative systems design, vol 74 of Frontiers in Artificial Intelligence and Applications, pp 88-103, Amsterdam, The Netherlands, IOS Press
37. Raposo AB, Magalhaes LP, Ricarte ILM, Fuks H (2001) Coordination of collaborative activities: A framework for the definition of tasks interdependencies. In: Proceedings of the 7th International Workshop on Groupware (CRIWG), pp 170-179, IEEE Computer Society
38. M Reichert P Dadam 1998 ADEPTflex: supporting dynamic changes of workflow without loosing control J Intell Inform Syst 10 2 93 129 (Pubitemid 128517641)
39. Rinderle S, Reichert M, Dadam P (2003) Evaluation of correctness criteria for dynamic workflow changes. In: van der Aalst WMP, ter Hofstede AHM, Weske M (eds) International Conference on Business Process Management (BPM 2003), vol 2678 of Lecture Notes in Computer Science, pp 41-57. Springer-Verlag, Berlin (Pubitemid 137629970)
40. S Rinderle M Reichert P Dadam 2004 Correctness criteria for dynamic changes in workflow systems: a survey Data Knowl Eng 50 1 9 34
41. Rinderle S, Weber B, Reichert M, Wild W (2005) Integrating process learning and process evolution: A semantics based approach. In: van der Aalst WMP, ter Hofstede AHM, Weske M (eds) International Conference on Business Process Management (BPM 2005), vol 2678 of Lecture Notes in Computer Science, pp 252-267. Springer-Verlag, Berlin
42. Sadiq S, Sadiq W, Orlowska M (2001) Pockets of flexibility in workflow specification. In: Proceedings of the 20th International Conference on Conceptual Modeling (ER 2001), vol 2224 of Lecture Notes in Computer Science, pp 513-526. Springer-Verlag, Berlin (Pubitemid 33370427)
43. Schonenberg H, Mans R, Russell N, Mulyar N, van der Aalst WMP (2008) Process flexibility: A survey of contemporary approaches. In: Dietz J, Albani A, Barjis J (eds) Advances in enterprise engineering I, vol 10 of Lecture Notes in Business Information Processing, pp 16-30. Springer-Verlag, Berlin
44. Schonenberg H, Weber B, van Dongen BF, van der Aalst WMP (2008) Supporting flexible processes through recommendations based on history. In: Dumas M, Reichert M, Shan MC (eds) International Conference on Business Process Management (BPM 2008), vol 5240 of Lecture Notes in Computer Science, pp 51-66, Springer-Verlag, Berlin
45. Schonenberg MH, Mans RS, Russell NC, Mulyar NA, van der Aalst WMP (2007) Towards a taxonomy of process flexibility (extended version). BPM Center Report BPM-07-11, BPMcenter.org
46. Wainer J, de Lima Bezerra F (2003) Constraint-based flexible workflows. In: Proceedings of the 9th International Workshop on Groupware: Design, Implementation, and Use (CRIWG 2003), vol 2806, pp 151-158 Springer-Verlag, Berlin
47. B Weber M Reichert S Rinderle-Ma 2008 Change patterns and change support features: Enhancing flexibility in process-aware information systems Data Knowl Eng 66 3 438 466
48. Weske M (2001) Formal foundation and conceptual design of dynamic adaptations in a workflow management system. In: Sprague R (ed) Proceedings of the Thirty-Fourth Annual Hawaii International Conference on System Science (HICSS-34). IEEE Computer Society Press, Los Alamitos