{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,17]],"date-time":"2025-10-17T13:51:21Z","timestamp":1760709081867,"version":"3.40.3"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319394282"},{"type":"electronic","value":"9783319394299"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-39429-9_14","type":"book-chapter","created":{"date-parts":[[2016,6,6]],"date-time":"2016-06-06T06:42:13Z","timestamp":1465195333000},"page":"212-227","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Hybrid Diagnosis Applied to Multiple Instances in Business Processes"],"prefix":"10.1007","author":[{"given":"Rafael","family":"Ceballos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Diana","family":"Borrego","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mar\u00eda Teresa","family":"G\u00f3mez-L\u00f3pez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafael M.","family":"Gasca","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,7]]},"reference":[{"issue":"2","key":"14_CR1","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W Aalst van der","year":"2012","unstructured":"van der Aalst, W., Adriansyah, A., van Dongen, B.: Replaying history on process models for conformance checking and performance analysis. Wiley Int. Rev. Data Min. Knowl. Disc. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Int. Rev. Data Min. Knowl. Disc."},{"issue":"3","key":"14_CR2","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.dss.2010.08.014","volume":"50","author":"W Aalst van der","year":"2011","unstructured":"van der Aalst, W., van Hee, K., van der Werf, J.M., Kumar, A., Verdonk, M.: Conceptual model for online auditing. Decis. Support Syst. 50(3), 636\u2013647 (2011)","journal-title":"Decis. Support Syst."},{"doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Extracting event data from databases to unleash process mining. In: vom Brocke, J., Schmiedel, T. (eds.) BPM - Driving Innovation in a Digital World. Management for Professionals, pp. 105\u2013128. Springer, Switzerland (2015)","key":"14_CR3","DOI":"10.1007\/978-3-319-14430-6_8"},{"issue":"1","key":"14_CR4","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1016\/j.jvlc.2010.11.002","volume":"22","author":"A Awad","year":"2011","unstructured":"Awad, A., Weidlich, M., Weske, M.: Visually specifying compliance rules and explaining their violations for business processes. J. Vis. Lang. Comput. 22(1), 30\u201355 (2011)","journal-title":"J. Vis. Lang. Comput."},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/j.datak.2013.04.008","volume":"87","author":"D Borrego","year":"2013","unstructured":"Borrego, D., Eshuis, R., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Diagnosing correctness of semantic workflow models. Data Knowl. Eng. 87, 167\u2013184 (2013)","journal-title":"Data Knowl. Eng."},{"key":"14_CR6","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/j.infsof.2015.02.010","volume":"62","author":"D Borrego","year":"2015","unstructured":"Borrego, D., Gasca, R.M., G\u00f3mez-L\u00f3pez, M.T.: Automating correctness verification of artifact-centric business process models. Inf. Softw. Technol. 62, 187\u2013197 (2015)","journal-title":"Inf. Softw. Technol."},{"issue":"8","key":"14_CR7","doi-asserted-by":"publisher","first-page":"816","DOI":"10.1016\/j.datak.2010.03.003","volume":"69","author":"R Eshuis","year":"2010","unstructured":"Eshuis, R., Kumar, A.: An integer programming based approach for verification and diagnosis of workflows. Data Knowl. Eng. 69(8), 816\u2013835 (2010)","journal-title":"Data Knowl. Eng."},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"26","DOI":"10.1016\/j.is.2014.07.007","volume":"48","author":"MT G\u00f3mez-L\u00f3pez","year":"2015","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M., P\u00e9rez-\u00c1lvarez, J.: Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. Syst. 48, 26\u201343 (2015)","journal-title":"Inf. Syst."},{"key":"14_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-642-00328-8_2","volume-title":"Business Process Management Workshops","author":"G Governatori","year":"2009","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Ardagna, D., Mecella, M., Yang, J. (eds.) BPM 2008 Workshops. LNBIP, vol. 17, pp. 5\u201317. Springer, Heidelberg (2009)"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1152","DOI":"10.1007\/978-3-540-88873-4_17","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"R Hull","year":"2008","unstructured":"Hull, R.: Artifact-centric business process models: brief survey of research results and challenges. In: Tari, Z., Meersman, R. (eds.) OTM 2008, Part II. LNCS, vol. 5332, pp. 1152\u20131163. Springer, Heidelberg (2008)"},{"issue":"2","key":"14_CR11","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y Liu","year":"2007","unstructured":"Liu, Y., M\u00fcler, S., Xu, K.: A static compliance-checking framework for business process models. IBM Syst. J. 46(2), 335\u2013362 (2007)","journal-title":"IBM Syst. J."},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1007\/978-3-642-13094-6_3","volume-title":"Advanced Information Systems Engineering","author":"LT Ly","year":"2010","unstructured":"Ly, L.T., Rinderle-Ma, S., Dadam, P.: Design and verification of instantiable compliance rule graphs in process-aware information systems. In: Pernici, B. (ed.) CAiSE 2010. LNCS, vol. 6051, pp. 9\u201323. Springer, Heidelberg (2010)"},{"doi-asserted-by":"crossref","unstructured":"Ly, L.T., Rinderle-Ma, S., G\u00f6ser, K., Dadam, P.: On enabling integrated process compliance with semantic constraints in process management systems. Inf. Syst. Front., 1\u201325 (2009)","key":"14_CR13","DOI":"10.1007\/s10796-009-9185-9"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-25109-2_7","volume-title":"On the Move to Meaningful Internet Systems: OTM 2011","author":"LT Ly","year":"2011","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: Meersman, R., et al. (eds.) OTM 2011, Part I. LNCS, vol. 7044, pp. 82\u201399. Springer, Heidelberg (2011)"},{"key":"14_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-28872-2_11","volume-title":"Fundamental Approaches to Software Engineering","author":"FM Maggi","year":"2012","unstructured":"Maggi, F.M., Montali, M., van der Aalst, W.M.P.: An operational decision support framework for monitoring business constraints. In: de Lara, J., Zisman, A. (eds.) FASE 2012. LNCS, vol. 7212, pp. 146\u2013162. Springer, Heidelberg (2012)"},{"issue":"1","key":"14_CR16","first-page":"17","volume":"5","author":"M Montali","year":"2013","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM TIST 5(1), 17 (2013)","journal-title":"ACM TIST"},{"key":"14_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5","volume-title":"Abductive Inference Models for Diagnostic Problem-Solving. Symbolic Computation","author":"Y Peng","year":"1990","unstructured":"Peng, Y., Reggia, J.: Abductive Inference Models for Diagnostic Problem-Solving. Symbolic Computation. Springer, New York (1990)"},{"key":"14_CR18","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, Amsterdam (2006)"},{"issue":"1","key":"14_CR19","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1016\/j.is.2007.07.001","volume":"33","author":"A Rozinat","year":"2008","unstructured":"Rozinat, A., van der Aalst, W.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"7","key":"14_CR20","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., Trcka, 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."},{"issue":"4","key":"14_CR21","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"SX Sun","year":"2006","unstructured":"Sun, S.X., Zhao, J.L., Nunamaker, J.F., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Inf. Syst. Res. 17(4), 374\u2013391 (2006)","journal-title":"Inf. Syst. Res."},{"key":"14_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/978-3-642-02144-2_34","volume-title":"Advanced Information Systems Engineering","author":"N Tr\u010dka","year":"2009","unstructured":"Tr\u010dka, N., van der Aalst, W.M.P., Sidorova, N.: Data-flow anti-patterns: discovering data-flow errors in workflows. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 425\u2013439. Springer, Heidelberg (2009)"},{"issue":"2","key":"14_CR23","first-page":"47","volume":"23","author":"B Weber","year":"2009","unstructured":"Weber, B., Sadiq, S.W., Reichert, M.: Beyond rigidity - dynamic process lifecycle support. Comput. Sci. - R&D 23(2), 47\u201365 (2009)","journal-title":"Comput. Sci. - R&D"},{"unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: SBPM 2008: 3rd International Workshop on Semantic Business Process Management at ESWC 2008, June 2008","key":"14_CR24"},{"key":"14_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-23059-2_16","volume-title":"Business Process Management","author":"M Weidlich","year":"2011","unstructured":"Weidlich, M., Ziekow, H., Mendling, J., G\u00fcnther, O., Weske, M., Desai, N.: Event-based monitoring of process execution violations. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 182\u2013198. Springer, Heidelberg (2011)"},{"key":"14_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1007\/978-3-642-32885-5_23","volume-title":"Business Process Management","author":"S Yongchareon","year":"2012","unstructured":"Yongchareon, S., Liu, C., Zhao, X.: A framework for behavior-consistent specialization of artifact-centric business processes. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol. 7481, pp. 285\u2013301. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39429-9_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T05:19:11Z","timestamp":1558502351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39429-9_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319394282","9783319394299"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39429-9_14","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"7 June 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}