{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:31Z","timestamp":1762459651026,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030008468"},{"type":"electronic","value":"9783030008475"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","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":[[2018]]},"DOI":"10.1007\/978-3-030-00847-5_17","type":"book-chapter","created":{"date-parts":[[2018,9,25]],"date-time":"2018-09-25T08:11:26Z","timestamp":1537863086000},"page":"219-235","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":35,"title":["A Holistic Approach for Soundness Verification of Decision-Aware Process Models"],"prefix":"10.1007","author":[{"given":"Massimiliano","family":"de Leoni","sequence":"first","affiliation":[]},{"given":"Paolo","family":"Felli","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,9,26]]},"reference":[{"unstructured":"Decision model and notation (DMN) v1.1 (2016). http:\/\/www.omg.org\/spec\/DMN\/1.1\/","key":"17_CR1"},{"issue":"1","key":"17_CR2","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circ. Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circ. Syst. Comput."},{"key":"17_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"403","DOI":"10.1007\/978-3-319-69904-2_31","volume-title":"Conceptual Modeling","author":"K Batoulis","year":"2017","unstructured":"Batoulis, K., Haarmann, S., Weske, M.: Various notions of soundness for\u00a0decision-aware business processes. In: Mayr, H.C., Guizzardi, G., Ma, H., Pastor, O. (eds.) ER 2017. LNCS, vol. 10650, pp. 403\u2013418. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-69904-2_31"},{"key":"17_CR4","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-65015-9_7","volume-title":"Business Process Management Forum","author":"K Batoulis","year":"2017","unstructured":"Batoulis, K., Weske, M.: Soundness of decision-aware business processes. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNBIP, vol. 297, pp. 106\u2013124. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-65015-9_7"},{"doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Montali, M.: Foundations of data aware process analysis: a database theory perspective. In: Proceedings of PODS 2013. ACM (2013)","key":"17_CR5","DOI":"10.1145\/2463664.2467796"},{"key":"17_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-45348-4_13","volume-title":"Business Process Management","author":"D Calvanese","year":"2016","unstructured":"Calvanese, D., Dumas, M., Laurson, \u00dc., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics and analysis of DMN decision tables. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 217\u2013233. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-45348-4_13"},{"issue":"5","key":"17_CR7","doi-asserted-by":"publisher","first-page":"1512","DOI":"10.1145\/186025.186051","volume":"16","author":"EM Clarke","year":"1994","unstructured":"Clarke, E.M., Grumberg, O., Long, D.E.: Model checking and abstraction. ACM Trans. Program. Lang. Syst. 16(5), 1512\u20131542 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."},{"unstructured":"de Leoni, M., Felli, P., Montali, M.: A holistic approach for soundness verification of decision-aware process models. CoRR Technical report arXiv:1804.02316 , arXiv.org e-Print archive (2018). https:\/\/arxiv.org\/abs\/1804.02316","key":"17_CR8"},{"issue":"12","key":"17_CR9","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"17_CR10","doi-asserted-by":"publisher","DOI":"10.1007\/b95112","volume-title":"Coloured Petri Nets: Modelling and Validation of Concurrent Systems","author":"K Jensen","year":"2009","unstructured":"Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modelling and Validation of Concurrent Systems, 1st edn. Springer, Heidelberg (2009)","edition":"1"},{"issue":"4","key":"17_CR11","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s10270-015-0502-0","volume":"16","author":"AA Kalenkova","year":"2017","unstructured":"Kalenkova, A.A., van der Aalst, W.M.P., Lomazova, I.A., Rubin, V.A.: Process mining using BPMN: relating event logs and process models. Softw. Syst. Model. 16(4), 1019\u20131048 (2017)","journal-title":"Softw. Syst. Model."},{"key":"17_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"332","DOI":"10.1007\/978-3-642-16373-9_24","volume-title":"Conceptual Modeling \u2013 ER 2010","author":"D Knuplesch","year":"2010","unstructured":"Knuplesch, D., Ly, L.T., Rinderle-Ma, S., Pfeifer, H., Dadam, P.: On enabling data-aware compliance checking of business process models. In: Parsons, J., Saeki, M., Shoval, P., Woo, C., Wand, Y. (eds.) ER 2010. LNCS, vol. 6412, pp. 332\u2013346. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-16373-9_24"},{"unstructured":"Mannhardt, F.: Multi-perspective process mining. Ph.D. thesis, Department of Mathematics and Computer Science (2018). https:\/\/pure.tue.nl\/ws\/portalfiles\/portal\/90463927","key":"17_CR13"},{"key":"17_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-319-39696-5_23","volume-title":"Advanced Information Systems Engineering","author":"F Mannhardt","year":"2016","unstructured":"Mannhardt, F., de Leoni, M., Reijers, H.A., van der Aalst, W.M.P.: Decision mining revisited - discovering overlapping rules. In: Nurcan, S., Soffer, P., Bajec, M., Eder, J. (eds.) CAiSE 2016. LNCS, vol. 9694, pp. 377\u2013392. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_23"},{"issue":"5","key":"17_CR15","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10009-016-0417-2","volume":"18","author":"M Montali","year":"2016","unstructured":"Montali, M., Calvanese, D.: Soundness of data-aware, case-centric processes. Int. J. Softw. Tools Technol. Transf. 18(5), 535\u2013558 (2016)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"17_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/3-540-44919-1_28","volume-title":"Applications and Theory of Petri Nets 2003","author":"AV Ratzer","year":"2003","unstructured":"Ratzer, A.V., et al.: CPN tools for editing, simulating, and analysing coloured petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450\u2013462. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/3-540-44919-1_28"},{"issue":"7","key":"17_CR17","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","volume":"36","author":"N Sidorova","year":"2011","unstructured":"Sidorova, N., Stahl, C., Tr\u010dka, N.: Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible. Inf. Syst. 36(7), 1026\u20131043 (2011)","journal-title":"Inf. Syst."}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00847-5_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,24]],"date-time":"2019-10-24T16:38:18Z","timestamp":1571935098000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00847-5_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030008468","9783030008475"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00847-5_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"ER","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Conceptual Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi'an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"22 October 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 October 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"er2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.nwpu-bioinformatics.com\/ER2018\/index.php#content","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}