{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,22]],"date-time":"2026-07-22T03:17:47Z","timestamp":1784690267118,"version":"3.55.0"},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783662437445","type":"print"},{"value":"9783662437452","type":"electronic"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[[2014]]},"DOI":"10.1007\/978-3-662-43745-2_4","type":"book-chapter","created":{"date-parts":[[2014,6,4]],"date-time":"2014-06-04T23:15:56Z","timestamp":1401923756000},"page":"48-63","source":"Crossref","is-referenced-by-count":16,"title":["Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph"],"prefix":"10.1007","author":[{"given":"Franziska","family":"Semmelrodt","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"David","family":"Knuplesch","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of workflow nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1008604709862","volume":"10","author":"M. Reichert","year":"1998","unstructured":"Reichert, M., Dadam, P.: ADEPT\n                    flex\n                   \u2013 supporting dynamic changes of workflows without losing control. Intelligent Inf. Sys.\u00a010(2), 93\u2013129 (1998)","journal-title":"Intelligent Inf. Sys."},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Governatori, G., Milosevic, Z., Sadiq, S.: Compliance checking between business processes and business contracts. In: EDOC 2006, pp. 221\u2013232 (2006)","DOI":"10.1109\/EDOC.2006.22"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"500","DOI":"10.1007\/978-3-642-10383-4_37","volume-title":"Service-Oriented Computing","author":"A. Awad","year":"2009","unstructured":"Awad, A., Weidlich, M., Weske, M.: Specification, verification and explanation of violation for data aware compliance rules. In: Baresi, L., Chi, C.-H., Suzuki, J. (eds.) ICSOC-ServiceWave 2009. LNCS, vol.\u00a05900, pp. 500\u2013515. Springer, Heidelberg (2009)"},{"key":"4_CR5","unstructured":"Cabanillas, C., Resinas, M., Ruiz-Cort\u00e9s, A.: Hints on how to face business process compliance. In: JISBD 2010 (2010)"},{"key":"4_CR6","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)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Schaad, A., Spadone, P., Weichsel, H.: A case study of separation of duty properties in the context of the austrian \u201celaw\u201d process. In: SAC 2005, pp. 1328\u20131332. ACM (2005)","DOI":"10.1145\/1066677.1066976"},{"key":"4_CR8","unstructured":"Konyen, I., Schulthei\u00df, B., Reichert, M.: Prozessentwurf eines Ablaufs im Labor. Technical Report DBIS-16, University of Ulm (1996)"},{"key":"4_CR9","unstructured":"Schulthei\u00df, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M., Dadam, P., Kreienberg, R.: Prozessentwurf am Beispiel eines Ablaufs aus dem OP-Bereich - Ergebnisse einer Analyse an der Universit\u00e4tsfrauenklinik Ulm. Technical Report DBIS-6, University of Ulm (1996)"},{"key":"4_CR10","unstructured":"Konyen, I., Schulthei\u00df, B., Reichert, M.: Prozessentwurf f\u00fcr den Ablauf einer radiologischen Untersuchung. Technical Report DBIS-15, University of Ulm (1996)"},{"key":"4_CR11","unstructured":"Schulthei\u00df, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M., Dadam, P., Kreienberg, R.: Prozessentwurf f\u00fcr den Ablauf einer ambulanten Chemotherapie. Technical Report DBIS-7, University of Ulm (1996)"},{"key":"4_CR12","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)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Turetken, O., Elgammal, A., van den Heuvel, W.J., Papazoglou, M.: Capturing compliance requirements: A pattern-based approach. IEEE Soft., 29\u201336 (2012)","DOI":"10.1109\/MS.2012.45"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-41924-9_10","volume-title":"Conceptual Modeling","author":"D. Knuplesch","year":"2013","unstructured":"Knuplesch, D., Reichert, M., Ly, L.T., Kumar, A., Rinderle-Ma, S.: Visual modeling of business process compliance rules with the support of multiple perspectives. In: Ng, W., Storey, V.C., Trujillo, J.C. (eds.) ER 2013. LNCS, vol.\u00a08217, pp. 106\u2013120. Springer, Heidelberg (2013)"},{"key":"4_CR15","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":"L.T. 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.\u00a06051, pp. 9\u201323. Springer, Heidelberg (2010)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Ly, L.T., Rinderle-Ma, S., Knuplesch, D., Dadam, P.: Monitoring business process compliance using compliance rule graphs. In: CoopIS 2011, pp. 82\u201399 (2011)","DOI":"10.1007\/978-3-642-25109-2_7"},{"key":"4_CR17","unstructured":"Knuplesch, D., Reichert, M.: Ensuring business process compliance along the process life cycle. Technical Report 2011-06, Ulm University (2011)"},{"key":"4_CR18","unstructured":"Knuplesch, D., Reichert, M., Ly, L.T., Kumar, A., Rinderle-Ma, S.: On the formal semantics of the extended compliance rule graph. Technical Report 2013-05, Ulm University (2013)"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"216","DOI":"10.1007\/11431855_16","volume-title":"Advanced Information Systems Engineering","author":"N. Russell","year":"2005","unstructured":"Russell, N., van der Aalst, W.M.P., ter Hofstede, A.H.M., Edmond, D.: Workflow resource patterns: Identification, representation and tool support. In: Pastor, \u00d3., Falc\u00e3o e Cunha, J. (eds.) CAiSE 2005. LNCS, vol.\u00a03520, pp. 216\u2013232. Springer, Heidelberg (2005)"},{"key":"4_CR20","doi-asserted-by":"crossref","unstructured":"Kumar, A., Wang, J.: A framework for document-driven workflow systems. In: Int\u2019l Handbook on Business Process Management, pp. 419\u2013440. Springer (2010)","DOI":"10.1007\/978-3-642-00416-2_19"},{"key":"4_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/978-3-540-85654-2_57","volume-title":"Database and Expert Systems Applications","author":"J. Eder","year":"2008","unstructured":"Eder, J., Tahamtan, A.: Temporal conformance of federated choreographies. In: Bhowmick, S.S., K\u00fcng, J., Wagner, R. (eds.) DEXA 2008. LNCS, vol.\u00a05181, pp. 668\u2013675. Springer, Heidelberg (2008)"},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. In: Requirements Engineering (2012)","DOI":"10.1007\/s00766-012-0162-3"},{"key":"4_CR23","unstructured":"Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Sys.\u00a035(8) (2010)"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"302","DOI":"10.1007\/11538394_20","volume-title":"Business Process Management","author":"A. Barros","year":"2005","unstructured":"Barros, A., Dumas, M., ter Hofstede, A.H.M.: Service interaction patterns. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 302\u2013318. Springer, Heidelberg (2005)"},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Knuplesch, D., Pryss, R., Reichert, M.: Data-aware interaction in distributed and collaborative workflows: Modeling, semantics, correctness. In: CollaborateCom 2012, pp. 223\u2013232. IEEE (2012)","DOI":"10.4108\/icst.collaboratecom.2012.250443"},{"issue":"2","key":"4_CR26","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1007\/s10796-009-9185-9","volume":"14","author":"L.T. Ly","year":"2012","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. Sys. Front.\u00a014(2), 195\u2013219 (2012)","journal-title":"Inf. Sys. Front."},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Governatori, G., Sadiq, S.: The journey to business process compliance. In: Handbook of Research on BPM, pp. 426\u2013454. IGI Global (2009)","DOI":"10.4018\/978-1-60566-288-6.ch020"},{"key":"4_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-540-76848-7_6","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"K. Namiri","year":"2007","unstructured":"Namiri, K., Stojanovic, N.: Pattern-Based design and validation of business process compliance. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 59\u201376. Springer, Heidelberg (2007)"},{"key":"4_CR29","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.\u00a06412, pp. 332\u2013346. Springer, Heidelberg (2010)"},{"key":"4_CR30","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.K. Ghose","year":"2007","unstructured":"Ghose, A.K., 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)"},{"issue":"2","key":"4_CR31","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1147\/sj.462.0335","volume":"46","author":"Y. Liu","year":"2007","unstructured":"Liu, Y., M\u00fcller, S., Xu, K.: A static compliance-checking framework for business process models. IBM Systems Journal\u00a046(2), 335\u2013361 (2007)","journal-title":"IBM Systems Journal"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Kokash, N., Krause, C., de Vink, E.: Time and data aware analysis of graphical service models. In: SEFM 2010 (2010)","DOI":"10.1109\/SEFM.2010.26"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"H\u00f6hn, S.: Model-based reasoning on the achievement of business goals. In: SAC 2009, pp. 1589\u20131593. ACM, New York (2009)","DOI":"10.1145\/1529282.1529639"},{"issue":"3","key":"4_CR34","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/s12599-011-0155-7","volume":"3","author":"R. Accorsi","year":"2011","unstructured":"Accorsi, R., Lowis, L., Sato, Y.: Automated certification for compliant cloud-based business processes. Business & Inf. Sys. Engineering\u00a03(3), 145\u2013154 (2011)","journal-title":"Business & Inf. Sys. Engineering"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Kumar, A., Yao, W., Chu, C.: Flexible process compliance with semantic constraints using mixed-integer programming. INFORMS J. on Comp. (2012)","DOI":"10.1287\/ijoc.1120.0520"},{"key":"4_CR36","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"649","DOI":"10.1007\/978-3-642-36285-9_65","volume-title":"Business Process Management Workshops","author":"D. Knuplesch","year":"2013","unstructured":"Knuplesch, D., Reichert, M., Mangler, J., Rinderle-Ma, S., Fdhila, W.: Towards compliance of cross-organizational processes and their changes. In: La Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol.\u00a0132, pp. 649\u2013661. Springer, Heidelberg (2013)"},{"key":"4_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1007\/978-3-642-40176-3_12","volume-title":"Business Process Management","author":"D. Knuplesch","year":"2013","unstructured":"Knuplesch, D., Reichert, M., Fdhila, W., Rinderle-Ma, S.: On enabling compliance of cross-organizational business processes. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol.\u00a08094, pp. 146\u2013154. Springer, Heidelberg (2013)"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Knuplesch, D., Reichert, M., Pryss, R., Fdhila, W., Rinderle-Ma, S.: Ensuring compliance of distributed and collaborative workflows. In: CollaborateCom 2013, pp. 133\u2013142. IEEE (2013)","DOI":"10.4108\/icst.collaboratecom.2013.254095"},{"issue":"1","key":"4_CR39","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. Vis. Lang. Comp.\u00a022(1), 30\u201355 (2011)","journal-title":"Vis. Lang. Comp."},{"key":"4_CR40","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"176","DOI":"10.1007\/978-3-642-15576-5_15","volume-title":"Advances in Databases and Information Systems","author":"S. Feja","year":"2010","unstructured":"Feja, S., Speck, A., Witt, S., Schulz, M.: Checkable graphical business process representation. In: Catania, B., Ivanovi\u0107, M., Thalheim, B. (eds.) ADBIS 2010. LNCS, vol.\u00a06295, pp. 176\u2013189. Springer, Heidelberg (2010)"}],"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-662-43745-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T00:25:32Z","timestamp":1558916732000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-43745-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662437445","9783662437452"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-43745-2_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}