{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,24]],"date-time":"2026-03-24T03:13:29Z","timestamp":1774322009332,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":39,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642328848","type":"print"},{"value":"9783642328855","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32885-5_21","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T18:45:30Z","timestamp":1345920330000},"page":"262-278","source":"Crossref","is-referenced-by-count":74,"title":["Where Did I Misbehave? Diagnostic Information in Compliance Checking"],"prefix":"10.1007","author":[{"given":"Elham","family":"Ramezani","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wil M. P.","family":"van der Aalst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: Process Mining - Discovery, Conformance and Enhancement of Business Processes. Springer (2011)","DOI":"10.1007\/978-3-642-19345-3"},{"key":"21_CR2","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1002\/widm.1045","volume":"2","author":"W.M.P. Aalst van der","year":"2012","unstructured":"van der Aalst, W.M.P., Adriansyah, A., van Dongen, B.F.: Replaying history on process models for conformance checking and performance analysis. WIREs Data Mining Knowl. Discov.\u00a02, 182\u2013192 (2012)","journal-title":"WIREs Data Mining Knowl. Discov."},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/11575771_11","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.F.: Process Mining and Verification of Properties: An Approach Based on Temporal Logic. In: Meersman, R. (ed.) OTM 2005, Part I. LNCS, vol.\u00a03760, pp. 130\u2013147. Springer, Heidelberg (2005)"},{"issue":"3","key":"21_CR4","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1016\/j.dss.2010.08.014","volume":"50","author":"W.M.P. Aalst van der","year":"2011","unstructured":"van der Aalst, W.M.P., van Hee, K.M., van der Werf, J.M., Kumar, A., Verdonk, M.: Conceptual Model for Online Auditing. Decision Support Systems\u00a050(3), 636\u2013647 (2011)","journal-title":"Decision Support Systems"},{"key":"21_CR5","unstructured":"Abdullah, N.S., Sadiq, S.W., Indulska, M.: Information systems research: Aligning to industry challenges in management of regulatory compliance. In: PACIS 2010, p. 36. AISeL (2010)"},{"key":"21_CR6","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-20511-8_11","volume-title":"Business Process Management Workshops","author":"A. Adriansyah","year":"2011","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Towards Robust Conformance Checking. In: zur Muehlen, M., Su, J. (eds.) BPM 2010 Workshops. LNBIP, vol.\u00a066, pp. 122\u2013133. Springer, Heidelberg (2011)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., Sidorova, N., van Dongen, B.F.: Cost-based Fitness in Conformance Checking. In: ACSD 2011, pp. 57\u201366. IEEE (2011)","DOI":"10.1109\/ACSD.2011.19"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B.F., van der Aalst, W.M.P.: Conformance checking using cost-based fitness analysis. In: EDOC 2011, pp. 55\u201364. IEEE (2011)","DOI":"10.1109\/EDOC.2011.12"},{"key":"21_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A. Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient Compliance Checking Using BPMN-Q and Temporal Logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"key":"21_CR10","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-12186-9_17","volume-title":"Business Process Management Workshops","author":"A. Awad","year":"2010","unstructured":"Awad, A., Weske, M.: Visualization of Compliance Violation in Business Process Models. In: Rinderle-Ma, S., Sadiq, S., Leymann, F. (eds.) BPM 2009. LNBIP, vol.\u00a043, pp. 182\u2013193. Springer, Heidelberg (2010)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Calders, T., Guenther, C., Pechenizkiy, M., Rozinat, A.: Using Minimum Description Length for Process Mining. In: SAC 2009, pp. 1451\u20131455. ACM Press (2009)","DOI":"10.1145\/1529282.1529606"},{"key":"21_CR12","unstructured":"Christopher Giblin, S.M., Pfitzmann, B.: Research report: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Tech. rep., IBM Research GmbH, Zurich Research Laboratory, Switzerland (2006)"},{"issue":"2","key":"21_CR13","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/304399.304401","volume":"8","author":"J. Cook","year":"1999","unstructured":"Cook, J., Wolf, A.: Software Process Validation: Quantitatively Measuring the Correspondence of a Process to a Model. ACM Transactions on Software Engineering and Methodology\u00a08(2), 147\u2013176 (1999)","journal-title":"ACM Transactions on Software Engineering and Methodology"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE 1999, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-642-17358-5_2","volume-title":"Service-Oriented Computing","author":"A. Elgammal","year":"2010","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.-J., Papazoglou, M.: Root-Cause Analysis of Design-Time Compliance Violations on the Basis of Property Patterns. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol.\u00a06470, pp. 17\u201331. Springer, Heidelberg (2010)"},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/978-3-642-23059-2_26","volume-title":"Business Process Management","author":"D. Fahland","year":"2011","unstructured":"Fahland, D., de Leoni, M., van Dongen, B.F., van der Aalst, W.M.P.: Conformance Checking of Interacting Processes with Overlapping Instances. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 345\u2013361. Springer, Heidelberg (2011)"},{"key":"21_CR17","unstructured":"F\u00f6tsch, D., Pulverm\u00fcller, E., Rossak, W.: Modeling and verifying workflow-based regulations. In: ReMo2V 2006. CEUR Workshop Proceedings, vol.\u00a0241 (2007)"},{"key":"21_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing Business Process Compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"21_CR19","unstructured":"Giblin, C., Liu, A.Y., M\u00fcller, S., Pfitzmann, B., Zhou, X.: Regulations expressed as logical models (realm). In: Frontiers in Artificial Intelligence and Applications, JURIX 2005, vol.\u00a0134, pp. 37\u201348. IOS Press (2005)"},{"key":"21_CR20","first-page":"1305","volume":"10","author":"S. Goedertier","year":"2009","unstructured":"Goedertier, S., Martens, D., Vanthienen, J., Baesens, B.: Robust Process Discovery with Artificial Negative Events. Journal of Machine Learning Research\u00a010, 1305\u20131340 (2009)","journal-title":"Journal of Machine Learning Research"},{"issue":"2","key":"21_CR21","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/j.entcs.2005.10.035","volume":"153","author":"V. Gruhn","year":"2006","unstructured":"Gruhn, V., Laue, R.: Patterns for timed property specifications. Electr. Notes Theor. Comput. Sci.\u00a0153(2), 117\u2013133 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"21_CR22","unstructured":"Kharbili, M.E., de Medeiros, A.K.A., Stein, S., van der Aalst, W.M.P.: Business process compliance checking: Current state and future challenges. In: MobIS 2008. LNI, vol.\u00a0141, pp. 107\u2013113. GI (2008)"},{"key":"21_CR23","unstructured":"Kharbili, M.: Business process regulatory compliance management solution frameworks: A comparative evaluation. In: APCCM 2012. CRPIT, vol.\u00a0130, pp. 23\u201332. ACS (2012)"},{"key":"21_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/978-3-540-78238-4_14","volume-title":"Business Process Management Workshops","author":"R. Lu","year":"2008","unstructured":"Lu, R., Sadiq, S., Governatori, G.: Compliance Aware Business Process Design. In: ter Hofstede, A.H.M., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol.\u00a04928, pp. 120\u2013131. Springer, Heidelberg (2008)"},{"issue":"1","key":"21_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M. Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W.M.P., Chesani, F., Mello, P., Storari, S.: Declarative Specification and Verification of Service Choreographies. ACM Transactions on the Web\u00a04(1), 1\u201362 (2010)","journal-title":"ACM Transactions on the Web"},{"key":"21_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-642-15618-2_16","volume-title":"Business Process Management","author":"J. Mu\u00f1oz-Gama","year":"2010","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: A Fresh Look at Precision in Process Conformance. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol.\u00a06336, pp. 211\u2013226. Springer, Heidelberg (2010)"},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"Mu\u00f1oz-Gama, J., Carmona, J.: Enhancing Precision in Process Conformance: Stability, Confidence and Severity. In: CIDM 2011. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949451"},{"key":"21_CR28","unstructured":"Pitzmann, B., Powers, C., Waidner, M.: Ibm\u2019s unified governance framework (ugf). Tech. rep., IBM Research Division, Zurich (2007)"},{"key":"21_CR29","doi-asserted-by":"crossref","unstructured":"Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Diagnostic information in compliance checking. Tech. rep., BPM Center Report BPM-12-11, BPMcenter.org (2012)","DOI":"10.1007\/978-3-642-32885-5_21"},{"key":"21_CR30","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/978-3-642-28115-0_43","volume-title":"Business Process Management Workshops","author":"E. Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Werf, J.M., Mattheis, P.: Separating Compliance Management and Business Process Management. In: Daniel, F., Barkaoui, K., Dustdar, S. (eds.) BPM Workshops 2011, Part II. LNBIP, vol.\u00a0100, pp. 459\u2013464. Springer, Heidelberg (2012)"},{"issue":"1","key":"21_CR31","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.\u00a033(1), 64\u201395 (2008)","journal-title":"Inf. Syst."},{"key":"21_CR32","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.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"21_CR33","doi-asserted-by":"crossref","unstructured":"Schleicher, D., Grohe, S., Leymann, F., Schneider, P., Schumm, D., Wolf, T.: An approach to combine data-related and control-flow-related compliance rules. In: SOCA 2011, pp. 1\u20138. IEEE (2011)","DOI":"10.1109\/SOCA.2011.6166212"},{"key":"21_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"114","DOI":"10.1007\/978-3-642-16934-2_11","volume-title":"On the Move to Meaningful Internet Systems, OTM 2010","author":"D. Schleicher","year":"2010","unstructured":"Schleicher, D., Anstett, T., Leymann, F., Schumm, D.: Compliant Business Process Design Using Refinement Layers. In: Meersman, R., Dillon, T.S., Herrero, P. (eds.) OTM 2010, Part I. LNCS, vol.\u00a06426, pp. 114\u2013131. Springer, Heidelberg (2010)"},{"key":"21_CR35","doi-asserted-by":"crossref","unstructured":"Schleicher, D., Fehling, C., Grohe, S., Leymann, F., Nowak, A., Schneider, P., Schumm, D.: Compliance domains: A means to model data-restrictions in cloud environments. In: EDOC, pp. 257\u2013266 (2011)","DOI":"10.1109\/EDOC.2011.22"},{"key":"21_CR36","unstructured":"Schumm, D., Leymann, F., Ma, Z., Scheibler, T., Strauch, S.: Integrating compliance into business processes: Process fragments as reusable compliance controls. In: MKWI 2010. Universit\u00e4tsverlag G\u00f6ttingen (2010)"},{"key":"21_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/978-3-642-16985-4_29","volume-title":"Current Trends in Web Engineering","author":"D. Schumm","year":"2010","unstructured":"Schumm, D., Turetken, O., Kokash, N., Elgammal, A., Leymann, F., van den Heuvel, W.-J.: Business Process Compliance through Reusable Units of Compliant Processes. In: Daniel, F., Facca, F.M. (eds.) ICWE 2010. LNCS, vol.\u00a06385, pp. 325\u2013337. Springer, Heidelberg (2010)"},{"key":"21_CR38","doi-asserted-by":"crossref","unstructured":"Weerdt, J.D., Backer, M.D., Vanthienen, J., Baesens, B.: A Robust F-measure for Evaluating Discovered Process Models. In: CIDM 2011, pp. 148\u2013155. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949428"},{"issue":"4","key":"21_CR39","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/s00766-010-0103-y","volume":"15","author":"C. Wolter","year":"2010","unstructured":"Wolter, C., Meinel, C.: An approach to capture authorisation requirements in business processes. Requir. Eng.\u00a015(4), 359\u2013373 (2010)","journal-title":"Requir. Eng."}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32885-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,7]],"date-time":"2025-04-07T08:41:10Z","timestamp":1744015270000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32885-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642328848","9783642328855"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32885-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}