{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T18:06:55Z","timestamp":1780596415677,"version":"3.54.1"},"publisher-location":"Cham","reference-count":35,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030634605","type":"print"},{"value":"9783030634612","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-63461-2_20","type":"book-chapter","created":{"date-parts":[[2020,11,13]],"date-time":"2020-11-13T16:03:28Z","timestamp":1605283408000},"page":"368-386","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Chain of Events: Modular Process Models for the Law"],"prefix":"10.1007","author":[{"given":"S\u00f8ren","family":"Debois","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Hugo A.","family":"L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amine Abbad","family":"Andaloussi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas T.","family":"Hildebrandt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2020,11,13]]},"reference":[{"key":"20_CR1","unstructured":"Bekendtg\u00f8relse af lov om social service, B\u00f8rne- og Socialministeriet (August 2017)"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/978-3-030-21290-2_23","volume-title":"Advanced Information Systems Engineering","author":"H van der Aa","year":"2019","unstructured":"van der Aa, H., Di Ciccio, C., Leopold, H., Reijers, H.A.: Extracting declarative process models from natural language. In: Giorgini, P., Weber, B. (eds.) CAiSE 2019. LNCS, vol. 11483, pp. 365\u2013382. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_23"},{"key":"20_CR3","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). https:\/\/doi.org\/10.1007\/11841197_1"},{"key":"20_CR4","unstructured":"Andaloussi, A.A.: Evaluation of DCR networks: Interview recordings and full analysis (February 2020). http:\/\/doi.org\/10.5281\/zenodo.3724874"},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Bench-Capon, T.J.M.: Deep models, normative reasoning and legal expert systems, pp. 37\u201345. Association for Computing Machinery, New York, USA (1989)","DOI":"10.1145\/74014.74020"},{"issue":"1","key":"20_CR6","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/BF00118479","volume":"1","author":"TJM Bench-Capon","year":"1992","unstructured":"Bench-Capon, T.J.M., Coenen, F.P.: Isomorphism and legal knowledge based systems. Artif. Intell. Law 1(1), 65\u201386 (1992)","journal-title":"Artif. Intell. Law"},{"issue":"3","key":"20_CR7","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1007\/s10506-012-9131-x","volume":"20","author":"T Bench-Capon","year":"2012","unstructured":"Bench-Capon, T., et al.: A history of AI and Law in 50 papers: 25 years of the international conference on AI and Law. Art. Intell. Law 20(3), 215\u2013319 (2012)","journal-title":"Art. Intell. Law"},{"key":"20_CR8","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1016\/0743-1066(94)90032-9","volume":"19\u201320","author":"M Bugliesi","year":"1994","unstructured":"Bugliesi, M., Lamma, E., Mello, P.: Modularity in logic programming. J. Log. Program. 19\u201320, 443\u2013502 (1994)","journal-title":"J. Log. Program."},{"key":"20_CR9","series-title":"Introducing Qualitative Methods series","volume-title":"Constructing Grounded Theory","author":"K Charmaz","year":"2014","unstructured":"Charmaz, K.: Constructing Grounded Theory. Introducing Qualitative Methods series. SAGE Publications, Thousand Oaks (2014)"},{"key":"20_CR10","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00328-8_13","volume-title":"Business Process Management Workshops","author":"F Chesani","year":"2009","unstructured":"Chesani, F., Mello, P., Montali, M., Riguzzi, F., Sebastianis, M., Storari, S.: Checking compliance of execution traces to business rules. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008. LNBIP, vol. 17. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-00328-8_13"},{"issue":"6","key":"20_CR11","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s00236-017-0303-8","volume":"55","author":"S Debois","year":"2017","unstructured":"Debois, S., Hildebrandt, T.T., Slaats, T.: Replication, refinement & reachability: complexity in dynamic condition-response graphs. Acta Informatica 55(6), 489\u2013520 (2017). https:\/\/doi.org\/10.1007\/s00236-017-0303-8","journal-title":"Acta Informatica"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-00178-0_19","volume-title":"AI Approaches to the Complexity of Legal Systems","author":"M Dragoni","year":"2018","unstructured":"Dragoni, M., Villata, S., Rizzi, W., Governatori, G.: Combining natural language processing approaches for rule extraction from legal documents. In: Pagallo, U., Palmirani, M., Casanovas, P., Sartor, G., Villata, S. (eds.) AICOL 2015, AICOL 2016, AICOL 2016, AICOL 2017, AICOL 2017. LNCS, vol. 10791. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00178-0_19"},{"key":"20_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-05148-7_29","volume-title":"On the Move to Meaningful Internet Systems: OTM 2009","author":"H Eberle","year":"2009","unstructured":"Eberle, H., Unger, T., Leymann, F.: Process fragments. In: Meersman, R., Dillon, T., Herrero, P. (eds.) OTM 2009. LNCS, vol. 5870. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-05148-7_29"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04985-9_26","volume-title":"Rule Interchange and Applications","author":"TF Gordon","year":"2009","unstructured":"Gordon, T.F., Governatori, G., Rotolo, A.: Rules and norms: requirements for rule interchange languages in the legal domain. In: Governatori, G., Hall, J., Paschke, A. (eds.) RuleML 2009. LNCS, vol. 5858. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-04985-9_26"},{"key":"20_CR15","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"20_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-16289-3_17","volume-title":"Semantic Web Rules","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16289-3_17"},{"key":"20_CR17","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-07950-9_8","volume-title":"Service Research and Innovation","author":"M Hashmi","year":"2014","unstructured":"Hashmi, M., Governatori, G., Wynn, M.T.: Normative requirements for business process compliance. In: Davis, J., Demirkan, H., Motahari-Nezhad, H. (eds.) ASSRI 2013. LNBIP, vol. 177. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07950-9_8"},{"key":"20_CR18","first-page":"59","volume":"69","author":"T Hildebrandt","year":"2010","unstructured":"Hildebrandt, T., Mukkamala, R.R.: Declarative Event-Based Workflow as Distributed Dynamic Condition Response Graphs. PLACES 69, 59\u201373 (2010). EPTCS","journal-title":"PLACES"},{"key":"20_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/978-3-642-24690-6_17","volume-title":"Software Engineering and Formal Methods","author":"T Hildebrandt","year":"2011","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Safe distribution of declarative processes. In: Barthe, G., Pardo, A., Schneider, G. (eds.) SEFM 2011. LNCS, vol. 7041, pp. 237\u2013252. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24690-6_17"},{"issue":"5\u20137","key":"20_CR20","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.jlap.2013.05.005","volume":"82","author":"TT Hildebrandt","year":"2013","unstructured":"Hildebrandt, T.T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. J. Log. Algebr. Program. 82(5\u20137), 164\u2013185 (2013)","journal-title":"J. Log. Algebr. Program."},{"issue":"8","key":"20_CR21","doi-asserted-by":"publisher","first-page":"666","DOI":"10.1145\/359576.359585","volume":"21","author":"CAR Hoare","year":"1978","unstructured":"Hoare, C.A.R.: Communicating sequential processes. Commun. ACM 21(8), 666\u2013677 (1978)","journal-title":"Commun. ACM"},{"key":"20_CR22","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-37453-2_33","volume-title":"Business Process Management Workshops","author":"A Holfter","year":"2019","unstructured":"Holfter, A., Haarmann, S., Pufahl, L., Weske, M.: Checking compliance in data-driven case management. In: Di Francescomarino, C., Dijkman, R., Zdun, U. (eds.) BPM 2019. LNBIP, vol. 362. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-37453-2_33"},{"key":"20_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02424-5_5","volume-title":"Applications and Theory of Petri Nets","author":"E Kindler","year":"2009","unstructured":"Kindler, E., Petrucci, L.: Towards a standard for modular Petri Nets: a formalisation. In: Franceschinis, G., Wolf, K. (eds.) PETRI NETS 2009. LNCS, vol. 5606. Springer, Heidelberg (2009). https:\/\/doi.org\/10.1007\/978-3-642-02424-5_5"},{"issue":"4","key":"20_CR24","doi-asserted-by":"publisher","first-page":"606","DOI":"10.1016\/j.is.2012.07.003","volume":"38","author":"N Lohmann","year":"2013","unstructured":"Lohmann, N.: Compliance by design for artifact-centric business processes. Inf. Syst. 38(4), 606\u2013618 (2013)","journal-title":"Inf. Syst."},{"key":"20_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-45234-6_19","volume-title":"Fundamental Approaches to Software Engineering","author":"HA L\u00f3pez","year":"2020","unstructured":"L\u00f3pez, H.A., Debois, S., Slaats, T., Hildebrandt, T.T.: Business process compliance using reference models of law. In: Wehrheim, H., Cabot, J. (eds.) FASE 2020. LNCS, vol. 12076. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-45234-6_19"},{"key":"20_CR26","doi-asserted-by":"crossref","unstructured":"L\u00f3pez, H.A., Marquard, M., Muttenthaler, L., Str\u00f8msted, R.: Assisted declarative process creation from natural language descriptions. In: EDOC Workshops, pp. 96\u201399. IEEE (2019)","DOI":"10.1109\/EDOCW.2019.00027"},{"key":"20_CR27","unstructured":"National Social Appeals Board (Ankestyrelsen): Annual report for the 2018 case process (May 2019). https:\/\/ast.dk\/publikationer\/arsopgorelse-2018"},{"key":"20_CR28","unstructured":"National Social Appeals Board (Ankestyrelsen): Appeals Board decisions on the Services Act in Q2 to Q4 2018 (...) (May 2019). https:\/\/bit.ly\/3glQOBK"},{"key":"20_CR29","unstructured":"Object Management Group BPMN Technical Committee: Business Process Model and Notation, Version 2.0 (2013)"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., Van der Aalst, W.: DECLARE: full support for loosely-structured processes. In: EDOC, p. 287 (October 2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"20_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-48472-3_32","volume-title":"On the Move to Meaningful Internet Systems: OTM 2016 Conferences","author":"T Slaats","year":"2016","unstructured":"Slaats, T., Schunselaar, D.M.M., Maggi, F.M., Reijers, H.A.: The semantics of hybrid process models. In: Debruyne, C., et al. (eds.) OTM 2016. LNCS, vol. 10033. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-48472-3_32"},{"key":"20_CR32","unstructured":"Debois, S.: Formalisation: Modular Process Models for the Law (June 2019). https:\/\/www.itu.dk\/people\/debois\/thys\/ifm20"},{"key":"20_CR33","unstructured":"The Danish Ministry of Social Affairs and the Interior: Consolidation Act on Social Services (September 2015). http:\/\/english.sm.dk\/media\/14900\/consolidation-act-on-social-services.pdf. Executive Order no. 1053"},{"key":"20_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1007\/978-3-319-98648-7_3","volume-title":"Business Process Management","author":"T Slaats","year":"2018","unstructured":"Slaats, T., Debois, S., Hildebrandt, T.: Open to change: a theory for iterative test-driven modelling. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 31\u201347. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_3"},{"key":"20_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1007\/978-3-030-21290-2_27","volume-title":"Advanced Information Systems Engineering","author":"K Winter","year":"2019","unstructured":"Winter, K., Rinderle-Ma, S.: Deriving and combining mixed graphs from regulatory documents based on constraint relations. In: Giorgini, P., Weber, B. (eds.) CAiSE 2019. LNCS, vol. 11483, pp. 430\u2013445. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-21290-2_27"}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63461-2_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T00:45:30Z","timestamp":1669596330000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-63461-2_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634605","9783030634612"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63461-2_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"13 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Lugano","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Switzerland","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/ifm20.si.usi.ch\/","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":"64","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":"24","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":"2","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":"38% - 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":"6,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":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Due to the Corona pandemic this event was held virtually.","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)"}}]}}