{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:05:25Z","timestamp":1774915525240,"version":"3.50.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319230627","type":"print"},{"value":"9783319230634","type":"electronic"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23063-4_15","type":"book-chapter","created":{"date-parts":[[2015,8,12]],"date-time":"2015-08-12T15:57:06Z","timestamp":1439395026000},"page":"209-225","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":30,"title":["Web-Based Modelling and Collaborative Simulation of Declarative Processes"],"prefix":"10.1007","author":[{"given":"Morten","family":"Marquard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad","family":"Shahzad","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,13]]},"reference":[{"key":"15_CR1","unstructured":"Innovations netv\u00e6rk for it. http:\/\/www.infinit.dk\/"},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: preparation, pp. 288\u2013304 (2007)","DOI":"10.1007\/978-3-540-75183-0_21"},{"key":"15_CR3","unstructured":"Davenport, T.H., Jarvenpaa, S.L., Beers, M.C.: Improving knowledge work processes. Sloan management review (1996)"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T., Marquard, M., Slaats, T.: Bridging the valley of death - a success story on danish funding schemes paving a path from technology readiness level 1 to 9. In: Proceedings of the 2nd International Workshop on Software Engineering Research and Industrial Practice (SER&IP 2015)","DOI":"10.1109\/SERIP.2015.18"},{"key":"15_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/978-3-319-10172-9_2","volume-title":"Business Process Management","author":"S Debois","year":"2014","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 18\u201333. Springer, Heidelberg (2014)"},{"key":"15_CR6","unstructured":"Drucker, P.F.: Management Challenges for the 21st Century. HarperBusiness (2001)"},{"key":"15_CR7","doi-asserted-by":"crossref","unstructured":"Dubois, S., Hildebrandt, T., Marquard, M., Slaats, T.: A case for declarative process modelling: Agile development of a grant application system (2014)","DOI":"10.1109\/EDOCW.2014.27"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: Post-Proceedings of PLACES 2010 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Designing a cross-organizational case management system using dynamic condition response graphs. In: 2011 15th IEEE International Enterprise Distributed Object Computing Conference (EDOC), pp. 161\u2013170, 29\u2013september 2, 2011","DOI":"10.1109\/EDOC.2011.35"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-29320-7_23","volume-title":"Fundamentals of Software Engineering","author":"T Hildebrandt","year":"2012","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol. 7141, pp. 343\u2013350. Springer, Heidelberg (2012)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. Journal of Logic and Algebraic Programming (JLAP), May 2013","DOI":"10.1016\/j.jlap.2013.05.005"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P.N., Vaculin, R.: Business artifacts with guard-stage-milestone lifecycles: managing artifact interactions with conditions and events. In: Proc. of DEBS 2011, pp. 51\u201362. ACM, New York (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"15_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-19589-1_1","volume-title":"Web Services and Formal Methods","author":"R Hull","year":"2011","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath III, F.T., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vaculin, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"15_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"392","DOI":"10.1007\/978-3-319-10172-9_27","volume-title":"Business Process Management","author":"FM Maggi","year":"2014","unstructured":"Maggi, F.M., Slaats, T., Reijers, H.A.: The Automated discovery of hybrid processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392\u2013399. Springer, Heidelberg (2014)"},{"key":"15_CR15","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)"},{"key":"15_CR16","unstructured":"Bughin, J., Dobbs, R., Roxburgh, C., Sarrazin, H., Sands, G., Chui, M., Manyika, J., Westergren, M.: The social economy: Unlocking value and productivity through social technologies (2012)"},{"key":"15_CR17","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models: aLogic-Based Approach. Lecture Notes in Business Information Processing, vol. 56. Springer (2010)","DOI":"10.1007\/978-3-642-14538-4"},{"issue":"1","key":"15_CR18","first-page":"3","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographiess. ACM Transactions on the Web (TWEB) 4(1), 3 (2010)","journal-title":"ACM Transactions on the Web (TWEB)"},{"key":"15_CR19","unstructured":"Mukkamala, R.R.: A Formal Model For Declarative Workflows - Dynamic Condition Response Graphs. PhD thesis, IT University of Copenhagen, March 2012"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Mukkamala, R.R., Hildebrandt, T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. In: Proceedings of the 17th IEEE International EDOC Conference, EDOC 2013 (2013)","DOI":"10.1109\/EDOC.2013.22"},{"key":"15_CR21","unstructured":"Mulyar, N.A., Schonenberg, M.H., Mans, R.S, van der Aalst, W.M.P.: Towards a Taxonomy of Process Flexibility (Extended Version) (2007)"},{"key":"15_CR22","unstructured":"Object Management Group. Case Management Model and Notation, version 1.0. Webpage, May 2014. http:\/\/www.omg.org\/spec\/CMMN\/1.0\/PDF"},{"key":"15_CR23","unstructured":"Object Management Group BPMN Technical Committee. Business Process Model and Notation, version 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, p. 287. IEEE Computer Society (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"15_CR25","unstructured":"Reich, R.B.: The Work of Nations: Preparing Ourselves for 21st Century Capitalism. Vintage Books (1992)"},{"key":"15_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Berlin-Heidelberg (2012)"},{"key":"15_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1007\/978-3-642-40176-3_26","volume-title":"Business Process Management","author":"HA Reijers","year":"2013","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling\u2013an academic dream or the future for BPM? In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 307\u2013322. Springer, Heidelberg (2013)"},{"key":"15_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-40176-3_28","volume-title":"Business Process Management","author":"T Slaats","year":"2013","unstructured":"Slaats, T., Mukkamala, R.R., Hildebrandt, T., Marquard, M.: Exformatics declarative case management workflows as dcr graphs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 339\u2013354. Springer, Heidelberg (2013)"},{"key":"15_CR29","unstructured":"Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management Will Revolutionize the Way That Knowledge Workers Get Things Done. Meghan-Kiffer Press (2010)"},{"issue":"2","key":"15_CR30","first-page":"99","volume":"23","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - R&D 23(2), 99\u2013113 (2009)","journal-title":"Computer Science - R&D"},{"key":"15_CR31","unstructured":"van der Aalst, W., Pesic, M., Schonenberg, H., Westergaard, M., Maggi, F.M.: Declare. Webpage 2010. http:\/\/www.win.tue.nl\/declare\/"},{"key":"15_CR32","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining: Discovery, Conformance and Enhancement of Business Processes, 1st edn. Springer Publishing Company, Incorporated (2011)","DOI":"10.1007\/978-3-642-19345-3_1"},{"key":"15_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"WMP van der Aalst","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"15_CR34","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1007\/978-3-642-16298-5_3","volume-title":"Business Process Modeling Notation","author":"H V\u00f6lzer","year":"2010","unstructured":"V\u00f6lzer, H.: An overview of BPMN 2.0 and its potential use. In: Mendling, J., Weidlich, M., Weske, M. (eds.) BPMN 2010. LNBIP, vol. 67, pp. 14\u201315. Springer, Heidelberg (2010)"},{"issue":"3","key":"15_CR35","doi-asserted-by":"publisher","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.: Change patterns and change support features - enhancing flexibility in process-aware information systems. Data and Knowledge Engineering 66(3), 438\u2013466 (2008)","journal-title":"Data and Knowledge Engineering"},{"key":"15_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/978-3-642-40176-3_24","volume-title":"Business Process Management","author":"M Westergaard","year":"2013","unstructured":"Westergaard, M., Slaats, T.: Mixing paradigms for more comprehensible models. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 283\u2013290. Springer, Heidelberg (2013)"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23063-4_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,15]],"date-time":"2023-02-15T14:45:56Z","timestamp":1676472356000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23063-4_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319230627","9783319230634"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23063-4_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"13 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}