{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T15:42:20Z","timestamp":1765294940440},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319710778"},{"type":"electronic","value":"9783319710785"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-71078-5_1","type":"book-chapter","created":{"date-parts":[[2017,11,20]],"date-time":"2017-11-20T06:33:50Z","timestamp":1511159630000},"page":"3-17","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Using Constraint Satisfaction Problem Solving to Enable Workflow Flexibility by Deviation (Best Technical Paper)"],"prefix":"10.1007","author":[{"given":"Lisa","family":"Grumbach","sequence":"first","affiliation":[]},{"given":"Ralph","family":"Bergmann","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,11,21]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1155\/2013\/507984","volume":"2013","author":"WMP Aalst van der","year":"2013","unstructured":"van der Aalst, W.M.P.: Business process management - a comprehensive survey. ISRN Softw. Eng. 2013, 1\u201337 (2013)","journal-title":"ISRN Softw. Eng."},{"issue":"2","key":"1_CR2","first-page":"99","volume":"23","author":"WMP Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows balancing between flexibility and support. Comput. Sci. R&D 23(2), 99\u2013113 (2009)","journal-title":"Comput. Sci. R&D"},{"issue":"2","key":"1_CR3","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, W.M.P., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"key":"1_CR4","unstructured":"Andrews, T., Curbera, F., Dholakia, H., Goland, Y., Klein, J., Leymann, F., Liu, K., Roller, D., Smith, D., Thatte, S., Trickovic, I., Weerawarana, S.: Business process execution language for web services, version 1.1. Technical report, BEA Systems, International Business Machines Corporation, Microsoft Corporation (2003)"},{"issue":"4","key":"1_CR5","doi-asserted-by":"crossref","first-page":"364","DOI":"10.1007\/s00287-010-0456-0","volume":"34","author":"P Dadam","year":"2011","unstructured":"Dadam, P., Reichert, M., Rinderle-Ma, S.: Prozessmanagementsysteme - nur ein wenig Flexibilit\u00e4t wird nicht reichen. Inform. Spektrum 34(4), 364\u2013376 (2011)","journal-title":"Inform. Spektrum"},{"key":"1_CR6","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1007\/978-3-642-01862-6_29","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"D Fahland","year":"2009","unstructured":"Fahland, D., L\u00fcbke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., Zugal, S.: Declarative versus imperative process modeling languages: the issue of understandability. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) BPMDS\/EMMSAD-2009. LNBIP, vol. 29, pp. 353\u2013366. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-01862-6_29"},{"key":"1_CR7","unstructured":"Grumbach, L., Rietzke, E., Schwinn, M., Bergmann, R., Kuhn, N.: SEMAFLEX - semantic integration of flexible workflow and document management. In: Krestel, R., Mottin, D., M\u00fcller, E. (eds.) Proceedings of the Conference \u201cLernen, Wissen, Daten, Analysen\u201d, CEUR Workshop Proceedings, Potsdam, Germany, 12\u201314 September 2016, vol. 1670, pp. 43\u201350 (2016). CEUR-WS.org"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Proceedings Third Workshop on Programming Language Approaches to Concurrency and communication-cEntric Software, PLACES 2010, Paphos, Cyprus, 21 March 2010, pp. 59\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"1_CR9","unstructured":"Hoffmann, D.: Schlanke Formen des Gesch\u00e4ftsprozessmanagements Das richtige BPM-Rezept, February 2013. http:\/\/www.it-zoom.de\/it-mittelstand\/e\/das-richtige-bpm-rezept-5287\/"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_13"},{"key":"1_CR11","unstructured":"Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, Technische Universiteit Eindhoven (2008)"},{"key":"1_CR12","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-28108-2_37","volume-title":"Business Process Management Workshops","author":"P Pichler","year":"2012","unstructured":"Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus declarative process modeling languages: an empirical investigation. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM 2011. LNBIP, vol. 99, pp. 383\u2013394. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-28108-2_37"},{"key":"1_CR13","unstructured":"Prud\u2019homme, C., Fages, J.G., Lorca, X.: Choco Documentation. TASC, INRIA Rennes, LINA CNRS UMR 6241, COSLING S.A.S. (2016). http:\/\/www.choco-solver.org"},{"key":"1_CR14","volume-title":"Artificial Intelligence - A Modern Approach","author":"SJ Russell","year":"2010","unstructured":"Russell, S.J., Norvig, P.: Artificial Intelligence - A Modern Approach, 3rd edn. Pearson Education, London (2010)","edition":"3"},{"key":"1_CR15","unstructured":"Saam, M., Viete, S., Schiel, S.: Digitalisierung im Mittelstand: Status Quo, aktuelle Entwicklungen und Herausforderungen, August 2016"},{"key":"1_CR16","unstructured":"Schlecht, M.: Prozessmanagement in der Cloud. ERP Management 4\/2013: Betriebsformen moderner Systeme, vol. 3, pp. 33\u201336 (2013)"},{"key":"1_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-68644-6_2","volume-title":"Advances in Enterprise Engineering I","author":"H Schonenberg","year":"2008","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.P.: Process flexibility: a survey of contemporary approaches. In: Dietz, J.L.G., Albani, A., Barjis, J. (eds.) CIAO!\/EOMAS -2008. LNBIP, vol. 10, pp. 16\u201330. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-68644-6_2"},{"issue":"1\/2","key":"1_CR18","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1108\/17410390910922831","volume":"22","author":"V Supyuenyong","year":"2009","unstructured":"Supyuenyong, V., Islam, N., Kulkarni, U.R.: Influence of SME characteristics on knowledge management processes: the case study of enterprise resource planning service providers. J. Enterp. Inf. Manag. 22(1\/2), 63\u201380 (2009)","journal-title":"J. Enterp. Inf. Manag."},{"key":"1_CR19","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-06671-4_6","volume-title":"Business Modeling and Software Design","author":"L Wedemeijer","year":"2014","unstructured":"Wedemeijer, L.: Transformation of imperative workflows to declarative business rules. In: Shishkov, B. (ed.) BMSD 2013. LNBIP, vol. 173, pp. 106\u2013127. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06671-4_6"},{"key":"1_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2007","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-642-28616-2"},{"key":"1_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-23059-2_10","volume-title":"Business Process Management","author":"M Westergaard","year":"2011","unstructured":"Westergaard, M.: Better algorithms for analyzing and enacting declarative workflow languages using LTL. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 83\u201398. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-23059-2_10"},{"key":"1_CR22","unstructured":"Workflow Management Coalition: Workflow Management Coalition Terminology & Glossary, February 1999"}],"container-title":["Lecture Notes in Computer Science","Artificial Intelligence XXXIV"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-71078-5_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,6]],"date-time":"2019-10-06T06:23:56Z","timestamp":1570343036000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-71078-5_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319710778","9783319710785"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-71078-5_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}