{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T06:33:48Z","timestamp":1742970828819,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319428864"},{"type":"electronic","value":"9783319428871"}],"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-42887-1_28","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:27:22Z","timestamp":1469104042000},"page":"339-351","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Validation, Diagnosis and Decision-Making Support of Data in Business Processes"],"prefix":"10.1007","author":[{"given":"Mar\u00eda Teresa","family":"G\u00f3mez-L\u00f3pez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"issue":"2","key":"28_CR1","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"},{"issue":"2","key":"28_CR2","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. and Knowl. Disc. 2(2), 182\u2013192 (2012)","journal-title":"Wiley Int. Rev. Data Min. and Knowl. Disc."},{"key":"28_CR3","series-title":"Management for Professionals","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1007\/978-3-319-14430-6_8","volume-title":"BPM - Driving Innovation in a Digital World","author":"WMP Aalst van der","year":"2015","unstructured":"van der Aalst, W.M.P.: Extracting event data from databases to unleash process mining. In: Brocke, J.V., Schmiedel, T. (eds.) BPM - Driving Innovation in a Digital World. Management for Professionals, pp. 105\u2013128. Springer, Heidelberg (2015)"},{"key":"28_CR4","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)"},{"issue":"1","key":"28_CR5","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.M.P.: Conformance checking of processes based on monitoring real behavior. Inf. Syst. 33(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"issue":"1","key":"28_CR6","first-page":"7","volume":"20","author":"R Ceballos","year":"2007","unstructured":"Ceballos, R., G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M., Del Carmelo, V.: A compiled model for faults diagnosis based on different techniques. AI Commun. 20(1), 7\u201316 (2007)","journal-title":"AI Commun."},{"key":"28_CR7","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":"28_CR8","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Run-time monitoring and auditing for business processes data using contraints. In: International Workshop on Business Process Intelligence, BPI 2010, pp. 15\u201325. Springer, Heidelberg (2010)"},{"key":"28_CR9","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.M.: Compliance validation and diagnosis of business data constraints in business processes at runtime. Inf. Syst. 48, 26\u201343 (2015)","journal-title":"Inf. Syst."},{"issue":"4","key":"28_CR10","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1016\/j.is.2009.02.006","volume":"35","author":"MZ Muehlen","year":"2010","unstructured":"Muehlen, M.Z., Indulska, M.: Indulska.: Modeling languages for business processes and business rules: A representational analysis. Inf. Syst. 35(4), 379\u2013390 (2010)","journal-title":"Inf. Syst."},{"issue":"15","key":"28_CR11","doi-asserted-by":"publisher","first-page":"6773","DOI":"10.1016\/j.eswa.2014.04.047","volume":"41","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Using constraint programming in selection operators for constraint databases. Expert Syst. Appl. 41(15), 6773\u20136785 (2014)","journal-title":"Expert Syst. Appl."},{"issue":"1","key":"28_CR12","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1016\/j.datak.2008.09.002","volume":"68","author":"MT G\u00f3mez-L\u00f3pez","year":"2009","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Ceballos, R., Gasca, R.M., Del Valle, C.: Developing a labelled object-relational constraint database architecture for the projection operator. Data Knowl. Eng. 68(1), 146\u2013172 (2009)","journal-title":"Data Knowl. Eng."},{"key":"28_CR13","unstructured":"OMG. Object Management Group, Business Process Model and Notation (BPMN) Version 2.0. OMG Standard (2011)"},{"key":"28_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1007\/978-3-642-40176-3_14","volume-title":"Business Process Management","author":"A Meyer","year":"2013","unstructured":"Meyer, A., Pufahl, L., Fahland, D., Weske, M.: Modeling and enacting complex data dependencies in business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 171\u2013186. Springer, Heidelberg (2013)"},{"key":"28_CR15","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"86","DOI":"10.1007\/978-3-319-06695-0_8","volume-title":"Business Information Systems","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Borrego, D., Gasca, R.M.: Data state description for the migration to activity-centric business process model maintaining legacy databases. In: Abramowicz, W., Kokkinaki, A. (eds.) BIS 2014. LNBIP, vol. 176, pp. 86\u201397. Springer, Heidelberg (2014)"},{"key":"28_CR16","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":"8","key":"28_CR17","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.: Kumar.: 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":"28_CR18","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."},{"key":"28_CR19","series-title":"Symbolic computation","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4419-8682-5","volume-title":"Abductive Inference Models for Diagnostic Problem-solving","author":"Y Peng","year":"1990","unstructured":"Peng, Y., Reggia, J.A.: Abductive Inference Models for Diagnostic Problem-solving. Symbolic computation. Springer, Heidelberg (1990)"},{"issue":"3","key":"28_CR20","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.dss.2010.08.014","volume":"50","author":"MP Wil van der","year":"2011","unstructured":"van der Wil, M.P., van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M.E.M., Kumar, A., Verdonk, M.: Conceptual model for online auditing. Decis. Support Syst. 50(3), 636\u2013647 (2011)","journal-title":"Decis. Support Syst."},{"key":"28_CR21","doi-asserted-by":"crossref","unstructured":"Awad, A., Smirnov, S., Weske, M.: Towards resolving compliance violations in business process models. In: Proceedings of the 2nd International Workshop on Governance, Risk and Compliance - Applications in Information Systems, Amsterdam, The Netherlands, June 2009","DOI":"10.1007\/978-3-642-05148-7_4"},{"key":"28_CR22","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M.: Fault diagnosis in databases for business processes. In: 21th International Workshop on Principles of Diagnosis, pp. 1\u20138 (2010)"},{"key":"28_CR23","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.dss.2014.10.006","volume":"69","author":"R Conforti","year":"2015","unstructured":"Conforti, R., de Leoni, M., La Rosa, M., van der Aalst, W.M.P., ter Hofstede, A.H.M.: A recommendation system for predicting risks across multiple business process instances. Decis. Support Syst. 69, 1\u201319 (2015)","journal-title":"Decis. Support Syst."},{"key":"28_CR24","unstructured":"van der Aa, H., Leopold, H., Batoulis, K., Weske, M., Reijers, H.A.: Integrated process and decision modeling for data-driven processes. In: 3th International Workshop on Decision Mining & Modeling for Business Processes, DeMiMo, pp. 15\u201325. Springer, Heidelberg (2015)"},{"key":"28_CR25","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"242","DOI":"10.1007\/978-3-662-43745-2_17","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"E Bazhenova","year":"2014","unstructured":"Bazhenova, E., Weske, M.: A data-centric approach for business process improvement based on decision theory. In: Bider, I., Gaaloul, K., Krogstie, J., Nurcan, S., Proper, H.A., Schmidt, R., Soffer, P. (eds.) BPMDS 2014 and EMMSAD 2014. LNBIP, vol. 175, pp. 242\u2013256. Springer, Heidelberg (2014)"},{"issue":"2","key":"28_CR26","first-page":"29","volume":"23","author":"MT G\u00f3mez-L\u00f3pez","year":"2014","unstructured":"G\u00f3mez-L\u00f3pez, M.T., Gasca, R.M., P\u00e9rez-\u00c1lvarez, J.M.: Decision-making support for the correctness of input data at runtime in business processes. Int. J. Coop. Info. Syst. 23(2), 29 (2014)","journal-title":"Int. J. Coop. Info. Syst."},{"key":"28_CR27","first-page":"68","volume":"70","author":"L Parody","year":"2015","unstructured":"Parody, L., Gasca, R.M., L\u00f3pez, M.T.G.: Hybrid business process modelling for the optimization of outcome data. Inf. Softw. Technol. 70, 68\u201370 (2015)","journal-title":"Inf. Softw. Technol."},{"key":"28_CR28","volume-title":"Handbook of Constraint Programming","author":"F Rossi","year":"2006","unstructured":"Rossi, F., van Beek, P., Walsh, T.: Handbook of Constraint Programming. Elsevier, New York (2006)"},{"key":"28_CR29","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: 3rd international workshop on Semantic Business Process Management (2008)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42887-1_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,7,3]],"date-time":"2022-07-03T15:53:06Z","timestamp":1656863586000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42887-1_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319428864","9783319428871"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42887-1_28","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":"22 July 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}