{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T15:01:23Z","timestamp":1760799683321},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-38709-8_20","type":"book-chapter","created":{"date-parts":[[2013,6,20]],"date-time":"2013-06-20T11:44:12Z","timestamp":1371728652000},"page":"304-320","source":"Crossref","is-referenced-by-count":15,"title":["Diagnostic Information for Compliance Checking of Temporal Compliance Requirements"],"prefix":"10.1007","author":[{"given":"Elham","family":"Ramezani Taghiabadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Fahland","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Boudewijn F.","family":"van Dongen","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":[{"issue":"2","key":"20_CR1","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. Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery\u00a02(2), 182\u2013192 (2012)","journal-title":"Wiley Interdisc. Rew.: Data Mining and Knowledge Discovery"},{"key":"20_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-32469-7_1","volume-title":"Formal Methods for Industrial Critical Systems","author":"N. Abid","year":"2012","unstructured":"Abid, N., Dal Zilio, S., Le Botlan, D.: Real-time specification patterns and tools. In: Stoelinga, M., Pinger, R. (eds.) FMICS 2012. LNCS, vol.\u00a07437, pp. 1\u201315. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Adriansyah, A., van Dongen, B., van der Aalst, W.M.: Conformance Checking Using Cost-Based Fitness Analysis. In: EDOC 2011, pp. 55\u201364 (2011)","key":"20_CR3","DOI":"10.1109\/EDOC.2011.12"},{"doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: ICSE, pp. 411\u2013420 (1999)","key":"20_CR4","DOI":"10.1145\/302405.302672"},{"key":"20_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1007\/3-540-48738-7_22","volume-title":"Advanced Information Systems Engineering","author":"J. Eder","year":"1999","unstructured":"Eder, J., Panagos, E., Rabinovich, M.: Time constraints in workflow systems. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol.\u00a01626, pp. 286\u2013300. Springer, Heidelberg (1999)"},{"key":"20_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-642-34032-1_16","volume-title":"Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies","author":"N. Ge","year":"2012","unstructured":"Ge, N., Pantel, M., Cr\u00e9gut, X.: Formal specification and verification of task time constraints for real-time systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2012, Part II. LNCS, vol.\u00a07610, pp. 143\u2013157. Springer, Heidelberg (2012)"},{"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":"20_CR7"},{"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":"20_CR8"},{"issue":"4","key":"20_CR9","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02(4), 255\u2013299 (1990)","journal-title":"Real-Time Systems"},{"unstructured":"Lanz, A., Weber, B., Reichert, M.: Time patterns in process-aware information system - a pattern based analysis - revised version. Tech. Rep. UIB-2009, University of Ulm, Germany (2009)","key":"20_CR10"},{"key":"20_CR11","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1007\/978-3-642-13051-9_9","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"A. Lanz","year":"2010","unstructured":"Lanz, A., Weber, B., Reichert, M.: Workflow time patterns for process-aware information systems. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Ukor, R. (eds.) BPMDS 2010 and EMMSAD 2010. LNBIP, vol.\u00a050, pp. 94\u2013107. Springer, Heidelberg (2010)"},{"key":"20_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-642-32885-5_6","volume-title":"Business Process Management","author":"M. Leoni de","year":"2012","unstructured":"de Leoni, M., Maggi, F.M., van der Aalst, W.M.P.: Aligning Event Logs and Declarative Process Models for Conformance Checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 82\u201397. Springer, Heidelberg (2012)"},{"unstructured":"Leoni, M., Aalst, W.: Aligning event logs and process models for multi-perspective conformance checking: An approach based on integer linear programming. Tech. Rep. BPM Center Report BPM-13-05, BPMcenter.org (2013)","key":"20_CR13"},{"key":"20_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"804","DOI":"10.1007\/978-3-540-24655-8_88","volume-title":"Advanced Web Technologies and Applications","author":"H. Li","year":"2004","unstructured":"Li, H., Yang, Y.: Verification of temporal constraints for concurrent workflows. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds.) APWeb 2004. LNCS, vol.\u00a03007, pp. 804\u2013813. Springer, Heidelberg (2004)"},{"issue":"2","key":"20_CR15","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1016\/j.elerap.2004.09.003","volume":"4","author":"H. Li","year":"2005","unstructured":"Li, H., Yang, Y.: Dynamic checking of temporal constraints for concurrent workflows. Electronic Commerce Research and Applications\u00a04(2), 124\u2013142 (2005)","journal-title":"Electronic Commerce Research and Applications"},{"key":"20_CR16","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":"L.T. 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., Dillon, T., Herrero, P., Kumar, A., Reichert, M., Qing, L., Ooi, B.-C., Damiani, E., Schmidt, D.C., White, J., Hauswirth, M., Hitzler, P., Mohania, M. (eds.) OTM 2011, Part I. LNCS, vol.\u00a07044, pp. 82\u201399. Springer, Heidelberg (2011)"},{"key":"20_CR17","series-title":"LNBIP","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and Verification of Declarative Open Interaction Models","author":"M. Montali","year":"2010","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol.\u00a056. Springer, Heidelberg (2010)"},{"unstructured":"Niculae, C.C.: Time patterns in workflow management systems. Tech. Rep. BPM-11-04, BPM Center Report, BPMcenter.org (2011)","key":"20_CR18"},{"unstructured":"Pitzmann, B., Powers, C., Waidner, M.: Ibm\u2019s unified governance framework (ugf). Tech. rep., IBM Research Division, Zurich (2007)","key":"20_CR19"},{"doi-asserted-by":"crossref","unstructured":"Pozewaunig, H., Eder, J., Liebhart, W.: epert: Extending pert for workflow management system. In: ADBIS, pp. 217\u2013224. Nevsky Dialect (1997)","key":"20_CR20","DOI":"10.14236\/ewic\/ADBIS1997.34"},{"key":"20_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-642-32885-5_21","volume-title":"Business Process Management","author":"E. Ramezani","year":"2012","unstructured":"Ramezani, E., Fahland, D., van der Aalst, W.M.P.: Where did I misbehave? diagnostic information in compliance checking. In: Barros, A., Gal, A., Kindler, E. (eds.) BPM 2012. LNCS, vol.\u00a07481, pp. 262\u2013278. Springer, Heidelberg (2012)"},{"doi-asserted-by":"crossref","unstructured":"Ramezani, E., Fahland, D., van Dongen, B., van der Aalst, W.: Diagnostic information in temporal compliance checking. Tech. rep. BPM Center Report BPM-12-17, BPMcenter.org (2012)","key":"20_CR22","DOI":"10.1007\/978-3-642-32885-5_21"},{"key":"20_CR23","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)"},{"unstructured":"Westergaard, M., Maggi, F.M.: Looking into the future: Using timed automata to provide a priori advice about timed declarative process models. In: CoopIS 2012. Springer (2012)","key":"20_CR24"}],"container-title":["Notes on Numerical Fluid Mechanics and Multidisciplinary Design","Active Flow and Combustion Control 2018"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-38709-8_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,28]],"date-time":"2020-07-28T20:44:45Z","timestamp":1595969085000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-38709-8_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783319981765","9783319981772"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-38709-8_20","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2013]]}}}