{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,7]],"date-time":"2026-03-07T14:29:23Z","timestamp":1772893763647,"version":"3.50.1"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783031161704","type":"print"},{"value":"9783031161711","type":"electronic"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-16171-1_2","type":"book-chapter","created":{"date-parts":[[2022,9,6]],"date-time":"2022-09-06T18:02:58Z","timestamp":1662487378000},"page":"21-37","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["On the\u00a0Use of\u00a0the\u00a0Conformance and\u00a0Compliance Keywords During Verification of\u00a0Business Processes"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8081-6883","authenticated-orcid":false,"given":"Heerko","family":"Groefsema","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3199-1604","authenticated-orcid":false,"given":"Nick R. T. P. van","family":"Beest","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9878-2762","authenticated-orcid":false,"given":"Guido","family":"Governatori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2022,9,7]]},"reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP Aalst","year":"1997","unstructured":"Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). https:\/\/doi.org\/10.1007\/3-540-63139-9_48"},{"issue":"01","key":"2_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits, Syst. Comput. 8(01), 21\u201366 (1998)","journal-title":"J. Circuits, Syst. Comput."},{"key":"2_CR3","doi-asserted-by":"publisher","unstructured":"van der Aalst, W.M.P.: Process Mining-Data Science in Action, 2nd edi. Springer, Heidelberg (2016). https:\/\/doi.org\/10.1007\/978-3-662-49851-4","DOI":"10.1007\/978-3-662-49851-4"},{"issue":"2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"WMP van der Aalst","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Interdisc. Rev. Data Min. Knowl. Discov. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rev. Data Min. Knowl. Discov."},{"issue":"9","key":"2_CR5","doi-asserted-by":"publisher","first-page":"1128","DOI":"10.1109\/TKDE.2004.47","volume":"16","author":"WMP van der Aalst","year":"2004","unstructured":"van der Aalst, W.M.P., Weijters, T., Maruster, L.: Workflow mining: discovering process models from event logs. IEEE Trans. Knowl. Data Eng. 16(9), 1128\u20131142 (2004)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"WMP van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: a survey. In: van der Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1\u201312. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44895-0_1"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-319-69462-7_5","volume-title":"On the Move to Meaningful Internet Systems. OTM 2017 Conferences","author":"A Armas Cervantes","year":"2017","unstructured":"Armas Cervantes, A., van Beest, N.R.T.P., La Rosa, M., Dumas, M., Garc\u00eda-Ba\u00f1uelos, L.: Interactive and incremental business process model repair. In: Panetto, H., et al. (eds.) OTM 2017. LNCS, vol. 10573, pp. 53\u201374. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69462-7_5"},{"key":"2_CR8","doi-asserted-by":"publisher","first-page":"36","DOI":"10.1016\/j.is.2018.09.005","volume":"80","author":"NRTP van Beest","year":"2019","unstructured":"van Beest, N.R.T.P., Groefsema, H., Garc\u00eda-Ba\u00f1uelos, L., Aiello, M.: Variability in business processes: automatically obtaining a generic specification. Inf. Syst. 80, 36\u201355 (2019)","journal-title":"Inf. Syst."},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"250","DOI":"10.1007\/978-3-319-98648-7_15","volume-title":"Business Process Management","author":"A Burattin","year":"2018","unstructured":"Burattin, A., van Zelst, S.J., Armas-Cervantes, A., van Dongen, B.F., Carmona, J.: Online conformance checking using behavioural patterns. In: Weske, M., Montali, M., Weber, I., vom Brocke, J. (eds.) BPM 2018. LNCS, vol. 11080, pp. 250\u2013267. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-98648-7_15"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"Carmona, J., van Dongen, B.F., Solti, A., Weidlich, M.: Conformance Checking-Relating Processes and Models. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99414-7","DOI":"10.1007\/978-3-319-99414-7"},{"issue":"3","key":"2_CR11","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1109\/TSE.2017.2668418","volume":"44","author":"L Garc\u00eda-Ba\u00f1uelos","year":"2017","unstructured":"Garc\u00eda-Ba\u00f1uelos, L., van Beest, N.R.T.P., Dumas, M., La Rosa, M., Mertens, W.: Complete and interpretable conformance checking of business processes. IEEE Trans. Software Eng. 44(3), 262\u2013290 (2017)","journal-title":"IEEE Trans. Software Eng."},{"issue":"3","key":"2_CR12","doi-asserted-by":"publisher","first-page":"466","DOI":"10.1109\/TSC.2016.2579621","volume":"11","author":"H Groefsema","year":"2018","unstructured":"Groefsema, H., van Beest, N.R.T.P., Aiello, M.: A formal model for compliance verification of service compositions. IEEE Trans. Serv. Comput. 11(3), 466\u2013479 (2018)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"2_CR13","unstructured":"Groefsema, H., van Beest, N.R.T.P., Armas-Cervantes, A.: Automated compliance verification of business processes in apromore. In: BPM Demo Track (CEUR), vol. 1920, pp. 1\u20135 (2017)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Groefsema, H., Bucur, D.: A survey of formal business process verification: from soundness to variability. In: Third International Symposium on Business Modeling and Software Design (BMSD 2013), pp. 198\u2013203. SciTePress (2013)","DOI":"10.5220\/0004775401980203"},{"key":"2_CR15","unstructured":"International Organization for Standardization: Information technology \u2013 open distributed processing, reference model: Overview part 1. Standard ISO\/IEC 10746\u20131:1998, International Organization for Standardization, Geneva, CH, December 1998. https:\/\/www.iso.org\/standard\/20696.html"},{"key":"2_CR16","unstructured":"International Organization for Standardization: Information technology \u2013 object management group business process model and notation. Standard ISO\/IEC 19510:2013, International Organization for Standardization, Geneva, CH, July 2013. https:\/\/www.iso.org\/standard\/62652.html"},{"key":"2_CR17","unstructured":"International Organization for Standardization: Systems and software engineering \u2013 vocabulary. Standard ISO\/IEC\/IEEE 24765:2017(E), International Organization for Standardization, Geneva, CH, September 2017. https:\/\/www.iso.org\/standard\/71952.html"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"431","DOI":"10.1007\/3-540-45140-4_29","volume-title":"Advanced Information Systems Engineering","author":"B Kiepuszewski","year":"2000","unstructured":"Kiepuszewski, B., ter Hofstede, A.H.M., Bussler, C.J.: On structured workflow modelling. In: Wangler, B., Bergman, L. (eds.) CAiSE 2000. LNCS, vol. 1789, pp. 431\u2013445. Springer, Heidelberg (2000). https:\/\/doi.org\/10.1007\/3-540-45140-4_29"},{"issue":"4","key":"2_CR19","first-page":"4:11","volume":"15","author":"RKL Ko","year":"2009","unstructured":"Ko, R.K.L.: A computer scientist\u2019s introductory guide to business process management (BPM). Crossroads 15(4), 4:11-4:18 (2009)","journal-title":"Crossroads"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Milosevic, Z., Bond, A.: Digital health interoperability frameworks: Use of RM-ODP standards. In: EDOC Workshop 2016, pp. 1\u201310 (2016)","DOI":"10.1109\/EDOCW.2016.7584359"},{"issue":"4","key":"2_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2980764","volume":"25","author":"A Polyvyanyy","year":"2016","unstructured":"Polyvyanyy, A., van der Aalst, W.M.P., ter Hofstede, A.H.M., Wynn, M.T.: Impact-driven process model repair. ACM Trans. Software Eng. Methodol. 25(4), 1\u201360 (2016)","journal-title":"ACM Trans. Software Eng. Methodol."},{"key":"2_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S Sadiq","year":"2007","unstructured":"Sadiq, S., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 149\u2013164. Springer, Heidelberg (2007). https:\/\/doi.org\/10.1007\/978-3-540-75183-0_12"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-16171-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,10,3]],"date-time":"2024-10-03T09:41:54Z","timestamp":1727948514000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-16171-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031161704","9783031161711"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-16171-1_2","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"7 September 2022","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":"M\u00fcnster","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Germany","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 September 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 September 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2022.uni-muenster.de","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":"98","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":"22","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":"0","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":"22% - 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":"4","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":"3","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":"For the BPM Forum 13 papers have been accepted out of the total of 98 submissions. The Blockchain, RPA and CEE Forum accepted 20 papers out of a total of 40 submissions.","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)"}}]}}