{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,27]],"date-time":"2026-09-27T12:00:50Z","timestamp":1790510450554,"version":"4.1.0"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030266189","type":"print"},{"value":"9783030266196","type":"electronic"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-26619-6_5","type":"book-chapter","created":{"date-parts":[[2019,8,22]],"date-time":"2019-08-22T23:12:33Z","timestamp":1566515553000},"page":"35-51","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Dynamic Reconfiguration of Business Processes"],"prefix":"10.1007","author":[{"given":"Leandro","family":"Nahabedian","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Braberman","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicol\u00e1s","family":"D\u2019ippolito","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jeff","family":"Kramer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sebasti\u00e1n","family":"Uchitel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2019,7,23]]},"reference":[{"key":"5_CR1","unstructured":"Business process management academic initiative. https:\/\/bpmai.org\/"},{"key":"5_CR2","unstructured":"MTSA synthesis tool and examples. http:\/\/mtsa.dc.uba.ar"},{"issue":"3","key":"5_CR3","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1023\/A:1011409408711","volume":"3","author":"WM van der Aalst","year":"2001","unstructured":"van der Aalst, W.M.: Exterminating the dynamic change bug: a concrete approach to support workflow change. Inf. Syst. Front. 3(3), 297\u2013317 (2001)","journal-title":"Inf. Syst. Front."},{"key":"5_CR4","unstructured":"Badouel, E., Oliver, J.: Reconfigurable nets, a class of high level Petri nets supporting dynamic changes within workflow systems. Ph.D. thesis, Inria (1998)"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/S0004-3702(02)00374-0","volume":"147","author":"A Cimatti","year":"2003","unstructured":"Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: Weak, strong, and strong cyclic planning via symbolic model checking. Artif. Intell. 147, 35\u201384 (2003)","journal-title":"Artif. Intell."},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: the modal transition system analyser. In: ASE 2008, pp. 475\u2013476 (2008)","DOI":"10.1109\/ASE.2008.78"},{"issue":"1","key":"5_CR7","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2430536.2430543","volume":"22","author":"Nicol\u00e1s D'ippolito","year":"2013","unstructured":"D\u2019Ippolito, N., Braberman, V., Piterman, N., Uchitel, S.: Synthesising non-anomalous event-based controllers for liveness goals. ACM TOSEM 22(1) (2013)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"D\u2019Ippolito, N.R., Braberman, V., Piterman, N., Uchitel, S.: Synthesis of live behaviour models. In: FSE 2010, pp. 77\u201386. ACM, New York (2010)","DOI":"10.1145\/1882291.1882305"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Ellis, C., Keddara, K., Rozenberg, G.: Dynamic change within workflow systems. In: COOCS 1995, pp. 10\u201321. ACM (1995)","DOI":"10.1145\/224019.224021"},{"issue":"5","key":"5_CR10","doi-asserted-by":"publisher","first-page":"257","DOI":"10.1145\/949952.940106","volume":"28","author":"Dimitra Giannakopoulou","year":"2003","unstructured":"Giannakopoulou, D., Magee, J.: Fluent model checking for event-based systems. In: ESEC\/SIGSOFT FSE 2003, pp. 257\u2013266. ACM, New York (2003)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.4204\/EPTCS.69.5","volume":"69","author":"Thomas T. Hildebrandt","year":"2011","unstructured":"Hildebrandt, T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES 2010, vol. 69, pp. 59\u201373 (2010)","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"5_CR12","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). https:\/\/doi.org\/10.1007\/978-3-642-29320-7_23"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Kradolfer, M., Geppert, A.: Dynamic workflow schema evolution based on workflow type versioning and workflow migration. Int. J. Coop. Info. Syst. (1999)","DOI":"10.1109\/COOPIS.1999.792162"},{"key":"5_CR14","volume-title":"State Models and Java Programs","author":"J Magee","year":"1999","unstructured":"Magee, J., Kramer, J.: State Models and Java Programs. Wiley, Hoboken (1999)"},{"key":"5_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-23063-4_15","volume-title":"Business Process Management","author":"M Marquard","year":"2015","unstructured":"Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 209\u2013225. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_15"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Mejia Bernal, J.F., Falcarin, P., Morisio, M., Dai, J.: Dynamic context-aware business process: a rule-based approach supported by pattern identification. In: SAC 2010, pp. 470\u2013474 (2010)","DOI":"10.1145\/1774088.1774186"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-10235-3","volume-title":"A Calculus of Communicating Systems","year":"1980","unstructured":"Milner, R. (ed.): A Calculus of Communicating Systems. LNCS, vol. 92. Springer, Heidelberg (1980). https:\/\/doi.org\/10.1007\/3-540-10235-3"},{"key":"5_CR18","unstructured":"Mukkamala, R.R.: A formal model for declarative workflows. Ph.D. thesis, IT University of Copenhagen (2012)"},{"key":"5_CR19","unstructured":"Nahabedian, L., et al.: Dynamic update of discrete event controllers. IEEE TSE 1 (2018, early access)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11837862_18"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS 1977, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Pnueli, A., Rosner, R.: On the synthesis of a reactive module. In: POPL 1989 (1989)","DOI":"10.1007\/BFb0035790"},{"issue":"1","key":"5_CR23","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1109\/5.21072","volume":"77","author":"PJ Ramadge","year":"1989","unstructured":"Ramadge, P.J., Wonham, W.M.: The control of discrete event systems. Proc. IEEE 77(1), 81\u201398 (1989)","journal-title":"Proc. IEEE"},{"issue":"1","key":"5_CR24","doi-asserted-by":"publisher","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.: Correctness criteria for dynamic changes in workflow systems\u2013a survey. Data Knowl. Eng. 50(1), 9\u201334 (2004)","journal-title":"Data Knowl. Eng."},{"key":"5_CR25","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., van der Aalst, W.M.: Towards a taxonomy of process flexibility. In: CAiSE 2008, vol. 344, pp. 81\u201384 (2008)"},{"key":"5_CR26","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jss.2016.08.048","volume":"122","author":"O Vasilecas","year":"2016","unstructured":"Vasilecas, O., Kalibatiene, D., Lavbi\u010d, D.: Rule-and context-based dynamic business process modelling and simulation. J. Syst. Softw. 122, 1\u20135 (2016)","journal-title":"J. Syst. Softw."},{"issue":"5","key":"5_CR27","first-page":"267","volume":"15","author":"WM Van Der Aalst","year":"2000","unstructured":"Van Der Aalst, W.M., Stefan, J.: Dealing with workflow change: identification of issues and solutions. CSSE 15(5), 267\u2013276 (2000)","journal-title":"CSSE"},{"key":"5_CR28","doi-asserted-by":"crossref","unstructured":"Zhang, J., Cheng, B.H.: Model-based development of dynamically adaptive software. In: ICSE 2006, pp. 371\u2013380 (2006)","DOI":"10.1145\/1134285.1134337"},{"key":"5_CR29","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-540-75183-0_15","volume-title":"Business Process Management","author":"X Zhao","year":"2007","unstructured":"Zhao, X., Liu, C.: Version management in the business process change context. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 198\u2013213. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_15"}],"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-030-26619-6_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,8,23]],"date-time":"2024-08-23T18:15:59Z","timestamp":1724436959000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-26619-6_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030266189","9783030266196"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-26619-6_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"23 July 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Vienna","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Austria","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"1 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2019.ai.wu.ac.at\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"115","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"23","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"5","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"In addition, 13 papers were published from the BPM forum","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}