{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,17]],"date-time":"2026-04-17T21:56:49Z","timestamp":1776463009166,"version":"3.51.2"},"reference-count":48,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Comp. Sci. Res. Dev."],"published-print":{"date-parts":[[2009,5]]},"DOI":"10.1007\/s00450-009-0057-9","type":"journal-article","created":{"date-parts":[[2009,3,9]],"date-time":"2009-03-09T09:38:42Z","timestamp":1236591522000},"page":"99-113","source":"Crossref","is-referenced-by-count":346,"title":["Declarative workflows: Balancing between flexibility and support"],"prefix":"10.1007","volume":"23","author":[{"given":"W. M. P.","family":"van der Aalst","sequence":"first","affiliation":[]},{"given":"M.","family":"Pesic","sequence":"additional","affiliation":[]},{"given":"H.","family":"Schonenberg","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,3,10]]},"reference":[{"issue":"1","key":"57_CR1","doi-asserted-by":"crossref","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst WMP (1998) The application of Petri nets to workflow management. J Circ Syst Comput 8(1):21\u201366","journal-title":"J Circ Syst Comput"},{"issue":"3","key":"57_CR2","doi-asserted-by":"crossref","first-page":"297","DOI":"10.1023\/A:1011409408711","volume":"3","author":"WMP Aalst van der","year":"2001","unstructured":"van der Aalst WMP (2001) Exterminating the dynamic change bug: a concrete approach to support workflow change. Inform Syst Front 3(3):297\u2013317","journal-title":"Inform Syst Front"},{"key":"57_CR3","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1007\/978-3-642-04205-8_27"},{"key":"57_CR4","volume-title":"Application and theory of Petri nets and other models of concurrency (ICATPN 2007), vol 4546 of Lecture Notes in Computer Science, pp 484\u2013494","author":"WMP Aalst van der","year":"2007","unstructured":"van der Aalst WMP, van Dongen BF, G\u00fcnther 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\u2013494. Springer-Verlag, Berlin"},{"issue":"5","key":"57_CR5","first-page":"267","volume":"15","author":"WMP Aalst van der","year":"2000","unstructured":"van der Aalst WMP, Jablonski S (2000) Dealing with workflow change: identification of issues and solutions. Int J Comput Syst Sci Eng 15(5):267\u2013276","journal-title":"Int J Comput Syst Sci Eng"},{"key":"57_CR6","doi-asserted-by":"crossref","unstructured":"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\u201323, Springer-Verlag, Berlin","DOI":"10.1007\/11841197_1"},{"issue":"5","key":"57_CR7","doi-asserted-by":"crossref","first-page":"713","DOI":"10.1016\/j.is.2006.05.003","volume":"32","author":"WMP Aalst van der","year":"2007","unstructured":"van der Aalst WMP, Reijers HA, Weijters AJMM, van Dongen BF, Alves de Medeiros AK, Song M, Verbeek HMW (2007) Business process mining: an industrial application. Inform Syst 32(5):713\u2013732","journal-title":"Inform Syst"},{"issue":"2","key":"57_CR8","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst WMP, Weske M, Gr\u00fcnbauer D (2005) Case handling: a new paradigm for business process support. Data Know Eng 53(2):129\u2013162","journal-title":"Data Know Eng"},{"key":"57_CR9","unstructured":"Adams M (2007) Facilitating dynamic flexibility and exception handling for workflows. Phd thesis, Queensland University of Technology, Brisbane"},{"key":"57_CR10","volume-title":"Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), vol 4803 of Lecture Notes in Computer Science, pp 95\u2013112","author":"M Adams","year":"2007","unstructured":"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\u2013112. Springer-Verlag, Berlin"},{"key":"57_CR11","volume-title":"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\u2013308","author":"M Adams","year":"2006","unstructured":"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\u2013308. Springer-Verlag, Berlin"},{"key":"57_CR12","volume-title":"Business process management: Models, techniques, and empirical studies, vol 1806 of Lecture Notes in Computer Science, pp 218\u2013234","author":"A Agostini","year":"2000","unstructured":"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\u2013234. Springer-Verlag, Berlin"},{"issue":"11","key":"57_CR13","doi-asserted-by":"crossref","first-page":"832","DOI":"10.1145\/182.358434","volume":"26","author":"JF Allen","year":"1983","unstructured":"Allen JF (1983) Maintaining knowledge about temporal intervals. Commun ACM 26(11):832\u2013843","journal-title":"Commun ACM"},{"issue":"4","key":"57_CR14","doi-asserted-by":"crossref","first-page":"222","DOI":"10.1088\/0967-1846\/3\/4\/003","volume":"3","author":"PC Attie","year":"1996","unstructured":"Attie PC, Singh MP, Emerson EA, Sheth A, Rusinkiewicz M (1996) Scheduling workflows by enforcing intertask dependencies. Distrib Syst Eng J 3(4):222\u2013238","journal-title":"Distrib Syst Eng J"},{"key":"57_CR15","unstructured":"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\u2013145, Dublin, Ireland, August 24\u201327, Morgan Kaufmann Publishers Inc., San Francisco, CA, USA"},{"issue":"3","key":"57_CR16","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F Casati","year":"1998","unstructured":"Casati F, Ceri S, Pernici B, Pozzi G (1998) Workflow evolution. Data Knowl Eng 24(3):211\u2013238","journal-title":"Data Knowl Eng"},{"key":"57_CR17","volume-title":"Model checking","author":"EM Clarke","year":"1999","unstructured":"Clarke EM, Grumberg O, Peled DA (1999) Model checking. The MIT Press, Cambridge, London"},{"key":"57_CR18","doi-asserted-by":"crossref","unstructured":"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\u201336, IEEE Computer Society","DOI":"10.1109\/EDOC.2007.41"},{"key":"57_CR19","unstructured":"Declare (2008) http:\/\/declare.sf.net. Accessed March 1, 2009"},{"key":"57_CR20","doi-asserted-by":"crossref","unstructured":"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 \u201996), pp 190\u2013198. ACM Press, New York","DOI":"10.1145\/240080.240252"},{"key":"57_CR21","doi-asserted-by":"crossref","DOI":"10.1002\/0471741442","volume-title":"Process-aware information systems: Bridging people and software through process technology","author":"M Dumas","year":"2005","unstructured":"Dumas M, van der Aalst WMP, ter Hofstede AHM (2005) Process-aware information systems: Bridging people and software through process technology. Wiley & Sons, Hoboken"},{"key":"57_CR22","doi-asserted-by":"crossref","unstructured":"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\u201321, Milpitas, California, ACM SIGOIS, ACM Press, New York","DOI":"10.1145\/224019.224021"},{"key":"57_CR23","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D Georgakopoulos","year":"1995","unstructured":"Georgakopoulos D, Hornick M, Sheth A (1995) An overview of workflow management: from process modeling to workflow automation infrastructure. Distrib Parall Datab 3:119\u2013153","journal-title":"Distrib Parall Datab"},{"key":"57_CR24","unstructured":"Giannakopoulou D, Havelund K (2001) Automata-based verification of temporal properties on running programs. In: ASE \u201901: Proceedings of the 16th IEEE international conference on Automated software engineering, p 412, Washington, DC, IEEE Computer Society"},{"key":"57_CR25","doi-asserted-by":"crossref","unstructured":"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\u201996), pp 190\u2013198, ACM Press, New York","DOI":"10.1145\/240080.240249"},{"key":"57_CR26","doi-asserted-by":"crossref","unstructured":"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\u201999), pp 79\u201388, San Francisco, February, ACM press","DOI":"10.1145\/295665.295675"},{"key":"57_CR27","unstructured":"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\u201900), vol 1789 of Lecture Notes in Computer Science, pp 41\u201362, Stockholm, Sweden, Springer-Verlag, Berlin"},{"key":"57_CR28","volume-title":"International Conference on Business Process Management (BPM 2007), vol 4714 of Lecture Notes in Computer Science, pp 344\u2013359","author":"E Lamma","year":"2007","unstructured":"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\u2013359. Springer-Verlag, Berlin"},{"key":"57_CR29","volume-title":"International Conference on Business Process Management (BPM 2008), vol 5240 of Lecture Notes in Computer Science, pp 67\u201383","author":"M Leoni de","year":"2008","unstructured":"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\u201383. Springer-Verlag, Berlin"},{"key":"57_CR30","unstructured":"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 \u201906), pp 157\u2013166, Darlinghurst, Australia, Australian Computer Society, Inc"},{"key":"57_CR31","volume-title":"Business process management, vol 4102 of Lecture Notes in Computer Science, pp 193\u2013208","author":"LT Ly","year":"2006","unstructured":"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\u2013208. Springer-Verlag, Berlin"},{"key":"57_CR32","doi-asserted-by":"crossref","unstructured":"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\u2013375","DOI":"10.1109\/WETICE.2007.4407190"},{"key":"57_CR33","unstructured":"Pesic M (2008) Constraint-based workflow management systems: Shifting control to users. Phd thesis, Eindhoven University of Technology, Eindhoven"},{"key":"57_CR34","doi-asserted-by":"crossref","unstructured":"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\u2013298. IEEE Computer Society","DOI":"10.1109\/EDOC.2007.4384001"},{"key":"57_CR35","volume-title":"Proceedings of the OTM Conference on Cooperative information Systems (CoopIS 2007), vol 4803 of Lecture Notes in Computer Science, pp 77\u201394","author":"M Pesic","year":"2007","unstructured":"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\u201394. Springer-Verlag, Berlin"},{"key":"57_CR36","unstructured":"Raposo AB, Fuks H (2002) Defining task interdependencies and coordination mechanisms for collaborative systems. In: Blay-Fornarino M, Pinna-Dery AM, Schmidt K, Zarat\u00e8 P (eds) Cooperative systems design, vol 74 of Frontiers in Artificial Intelligence and Applications, pp 88\u2013103, Amsterdam, The Netherlands, IOS Press"},{"key":"57_CR37","doi-asserted-by":"crossref","unstructured":"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\u2013179, IEEE Computer Society","DOI":"10.1109\/CRIWG.2001.951845"},{"issue":"2","key":"57_CR38","doi-asserted-by":"crossref","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M Reichert","year":"1998","unstructured":"Reichert M, Dadam P (1998) ADEPTflex: supporting dynamic changes of workflow without loosing control. J Intell Inform Syst 10(2):93\u2013129","journal-title":"J Intell Inform Syst"},{"key":"57_CR39","volume-title":"International Conference on Business Process Management (BPM 2003), vol 2678 of Lecture Notes in Computer Science, pp 41\u201357","author":"S Rinderle","year":"2003","unstructured":"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\u201357. Springer-Verlag, Berlin"},{"issue":"1","key":"57_CR40","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S Rinderle","year":"2004","unstructured":"Rinderle S, Reichert M, Dadam P (2004) Correctness criteria for dynamic changes in workflow systems: a survey. Data Knowl Eng 50(1):9\u201334","journal-title":"Data Knowl Eng"},{"key":"57_CR41","volume-title":"International Conference on Business Process Management (BPM 2005), vol 2678 of Lecture Notes in Computer Science, pp 252\u2013267","author":"S Rinderle","year":"2005","unstructured":"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\u2013267. Springer-Verlag, Berlin"},{"key":"57_CR42","volume-title":"Proceedings of the 20th International Conference on Conceptual Modeling (ER 2001), vol 2224 of Lecture Notes in Computer Science, pp 513\u2013526","author":"S Sadiq","year":"2001","unstructured":"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\u2013526. Springer-Verlag, Berlin"},{"key":"57_CR43","volume-title":"Advances in enterprise engineering I, vol 10 of Lecture Notes in Business Information Processing, pp 16\u201330","author":"H Schonenberg","year":"2008","unstructured":"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\u201330. Springer-Verlag, Berlin"},{"key":"57_CR44","doi-asserted-by":"crossref","unstructured":"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\u201366, Springer-Verlag, Berlin","DOI":"10.1007\/978-3-540-85758-7_7"},{"key":"57_CR45","unstructured":"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"},{"key":"57_CR46","doi-asserted-by":"crossref","unstructured":"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\u2013158 Springer-Verlag, Berlin","DOI":"10.1007\/978-3-540-39850-9_13"},{"issue":"3","key":"57_CR47","doi-asserted-by":"crossref","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B Weber","year":"2008","unstructured":"Weber B, Reichert M, Rinderle-Ma S (2008) Change patterns and change support features: Enhancing flexibility in process-aware information systems. Data Knowl Eng 66(3):438\u2013466","journal-title":"Data Knowl Eng"},{"key":"57_CR48","volume-title":"Proceedings of the Thirty-Fourth Annual Hawaii International Conference on System Science (HICSS-34)","author":"M Weske","year":"2001","unstructured":"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"}],"container-title":["Computer Science - Research and Development"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s00450-009-0057-9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,8]],"date-time":"2025-02-08T02:57:43Z","timestamp":1738983463000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s00450-009-0057-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,10]]},"references-count":48,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,5]]}},"alternative-id":["57"],"URL":"https:\/\/doi.org\/10.1007\/s00450-009-0057-9","relation":{},"ISSN":["1865-2034"],"issn-type":[{"value":"1865-2034","type":"print"}],"subject":[],"published":{"date-parts":[[2009,3,10]]}}}