{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,20]],"date-time":"2026-04-20T14:21:04Z","timestamp":1776694864984,"version":"3.51.2"},"publisher-location":"Berlin, Heidelberg","reference-count":58,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642362842","type":"print"},{"value":"9783642362859","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36285-9_65","type":"book-chapter","created":{"date-parts":[[2013,1,24]],"date-time":"2013-01-24T08:26:30Z","timestamp":1359015990000},"page":"649-661","source":"Crossref","is-referenced-by-count":22,"title":["Towards Compliance of Cross-Organizational Processes and Their Changes"],"prefix":"10.1007","author":[{"given":"David","family":"Knuplesch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00fcrgen","family":"Mangler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Fdhila","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"65_CR1","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/TSMCC.2008.919197","volume":"38","author":"B. Mutschler","year":"2008","unstructured":"Mutschler, B., Reichert, M., Bumiller, J.: Unleashing the effectiveness of process-oriented information systems: Problem analysis, critical success factors, and implications. IEEE Trans on Sys. Man and Cybernetics, Part C\u00a038(3), 280\u2013291 (2008)","journal-title":"IEEE Trans on Sys. Man and Cybernetics, Part C"},{"key":"65_CR2","unstructured":"Weske, M.: Workflow management systems: Formal foundation, conceptual design, implementation aspects. Springer (2007)"},{"key":"65_CR3","doi-asserted-by":"crossref","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems. Springer (2012)","DOI":"10.1007\/978-3-642-30409-5"},{"key":"65_CR4","doi-asserted-by":"crossref","unstructured":"Alonso, G., et al.: Web Services. Springer (2004)","DOI":"10.1007\/978-3-662-10876-5"},{"issue":"1","key":"65_CR5","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/B:DAPD.0000009431.20250.56","volume":"15","author":"S. Dustdar","year":"2004","unstructured":"Dustdar, S.: Caramba - a process-aware collaboration system supporting ad hoc and collaborative processes in virtual teams. Dist. & Parall Datab.\u00a015(1), 45\u201366 (2004)","journal-title":"Dist. & Parall Datab."},{"key":"65_CR6","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":"65_CR7","doi-asserted-by":"publisher","first-page":"261","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), 261\u2013335 (2007)","journal-title":"IBM Systems Journal"},{"key":"65_CR8","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":"65_CR9","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":"65_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/11914853_10","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"J.M. Zaha","year":"2006","unstructured":"Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let\u2019s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 145\u2013162. Springer, Heidelberg (2006)"},{"key":"65_CR11","unstructured":"Decker, G., Weske, M.: Interaction-centric modeling of process choreographies. Inf. Sys.\u00a035(8) (2010)"},{"key":"65_CR12","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.: 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)"},{"issue":"3","key":"65_CR13","doi-asserted-by":"publisher","first-page":"399","DOI":"10.1016\/S0167-9236(03)00116-7","volume":"38","author":"D.R. Liu","year":"2004","unstructured":"Liu, D.R., Shen, M.: Business-to-business workflow interoperation based on process-views. Decision Support Sys.\u00a038(3), 399\u2013419 (2004)","journal-title":"Decision Support Sys."},{"issue":"4","key":"65_CR14","first-page":"52","volume":"9","author":"Z. Maamar","year":"2005","unstructured":"Maamar, Z., Benslimane, D., Ghedira, C., Mrissa, M.: Views in composite web services. IEEE Internet Comp.\u00a09(4), 52\u201357 (2005)","journal-title":"IEEE Internet Comp."},{"issue":"3","key":"65_CR15","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1023\/A:1016031730365","volume":"2","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P.: Inheritance of interorganizational workflows to enable Business-to-Business E-Commerce. Elec. Com. Research\u00a02(3), 195\u2013231 (2002)","journal-title":"Elec. Com. Research"},{"key":"65_CR16","doi-asserted-by":"crossref","unstructured":"Martens, A.: Consistency between executable and abstract processes. In: EEE 2005, pp. 60\u201367 (2005)","DOI":"10.1109\/EEE.2005.53"},{"key":"65_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-540-72988-4_7","volume-title":"Advanced Information Systems Engineering","author":"G. Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Behavioral Consistency for B2B Process Integration. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007. LNCS, vol.\u00a04495, pp. 81\u201395. Springer, Heidelberg (2007)"},{"issue":"1","key":"65_CR18","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1093\/comjnl\/bxn064","volume":"53","author":"W.M.P. Aalst van der","year":"2010","unstructured":"van der Aalst, W.M.P., et al.: Multiparty contracts: Agreeing and implementing interorganizational processes. The Comp. Journal\u00a053(1), 90\u2013106 (2010)","journal-title":"The Comp. Journal"},{"issue":"4","key":"65_CR19","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1109\/TSC.2008.19","volume":"1","author":"S. Tata","year":"2008","unstructured":"Tata, S., et al.: CoopFlow: A Bottom-Up Approach to Workflow Cooperation for Short-Term Virtual Enterprises. IEEE Trans. on Serv. Comp.\u00a01(4), 214\u2013228 (2008)","journal-title":"IEEE Trans. on Serv. Comp."},{"key":"65_CR20","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"},{"issue":"1","key":"65_CR21","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1016\/j.datak.2004.01.002","volume":"50","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Correctness criteria for dynamic changes in workflow systems \u2013 a survey. Data & Knowl. Eng.\u00a050(1), 9\u201334 (2004)","journal-title":"Data & Knowl. Eng."},{"issue":"2","key":"65_CR22","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/s00450-009-0069-5","volume":"23","author":"B. Weber","year":"2009","unstructured":"Weber, B., Sadiq, S., Reichert, M.: Beyond rigidity\u2013dynamic process lifecycle support. Comp. Science-Research and Dev.\u00a023(2), 47\u201365 (2009)","journal-title":"Comp. Science-Research and Dev."},{"issue":"2","key":"65_CR23","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 flex \u2013 supporting dynamic changes of workflows without losing control. Intelligent Inf. Sys.\u00a010(2), 93\u2013129 (1998)","journal-title":"Intelligent Inf. Sys."},{"issue":"5","key":"65_CR24","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Sadiq, W., Orlowska, M.: A framework for constraint specification and validation in flexible workflows. Inf. Sys.\u00a030(5), 349\u2013378 (2005)","journal-title":"Inf. Sys."},{"key":"65_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/11914853_18","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"M. Adams","year":"2006","unstructured":"Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: A Service-Oriented Implementation of Dynamic Flexibility in Workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 291\u2013308. Springer, Heidelberg (2006)"},{"key":"65_CR26","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: DECLARE: full support for loosely-structured processes. In: EDOC 2007, pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.4384001"},{"issue":"1","key":"65_CR27","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/s10270-003-0018-x","volume":"2","author":"M. Reichert","year":"2003","unstructured":"Reichert, M., Dadam, P., Bauer, T.: Dealing with forward and backward jumps in workflow management systems. Software and Systems Modeling\u00a02(1), 37\u201358 (2003)","journal-title":"Software and Systems Modeling"},{"issue":"3","key":"65_CR28","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1016\/j.datak.2008.05.001","volume":"66","author":"B. Weber","year":"2008","unstructured":"Weber, B., Reichert, M., Rinderle-Ma, S.: Change patterns and change support features - Enhancing flexibility in process-aware information systems. Data & Knowl. Eng.\u00a066(3), 438\u2013466 (2008)","journal-title":"Data & Knowl. Eng."},{"key":"65_CR29","doi-asserted-by":"crossref","unstructured":"Reichert, M., Rinderle, S., Kreher, U., Dadam, P.: Adaptive process management with ADEPT2. In: ICDE 2005, pp. 1113\u20131114 (2005)","DOI":"10.1109\/ICDE.2005.17"},{"issue":"1","key":"65_CR30","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1142\/S0218843009001999","volume":"18","author":"B. Weber","year":"2009","unstructured":"Weber, B., et al.: Providing integrated life cycle support in process-aware information systems. Int. J. Coop. Inf. Sys.\u00a018(1), 115\u2013165 (2009)","journal-title":"Int. J. Coop. Inf. Sys."},{"key":"65_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/11575771_7","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"B. Weber","year":"2005","unstructured":"Weber, B., Reichert, M., Wild, W., Rinderle, S.: Balancing Flexibility and Security in Adaptive Process Management Systems. In: Meersman, R. (ed.) OTM 2005. LNCS, vol.\u00a03760, pp. 59\u201376. Springer, Heidelberg (2005)"},{"issue":"3","key":"65_CR32","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1016\/S0169-023X(97)00033-5","volume":"24","author":"F. Casati","year":"1998","unstructured":"Casati, F., et al.: Workflow evolution. Data & Knowl. Eng.\u00a024(3), 211\u2013238 (1998)","journal-title":"Data & Knowl. Eng."},{"issue":"1","key":"65_CR33","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1023\/B:DAPD.0000026270.78463.77","volume":"16","author":"S. Rinderle","year":"2004","unstructured":"Rinderle, S., Reichert, M., Dadam, P.: Flexible support of team processes by adaptive workflow systems. Dist. & Parall. Datab.\u00a016(1), 91\u2013116 (2004)","journal-title":"Dist. & Parall. Datab."},{"key":"65_CR34","doi-asserted-by":"crossref","unstructured":"Li, C., et al.: The MinAdept clustering approach for discovering reference process models out of process variants. Coop. Inf. Sys.\u00a019(3) (2010)","DOI":"10.1142\/S0218843010002139"},{"key":"65_CR35","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/11914853_19","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"C.W. G\u00fcnther","year":"2006","unstructured":"G\u00fcnther, C.W., Rinderle, S., Reichert, M., van der Aalst, W.: Change Mining in Adaptive Process Management Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol.\u00a04275, pp. 309\u2013326. Springer, Heidelberg (2006)"},{"key":"65_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-76848-7_11","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Reichert","year":"2007","unstructured":"Reichert, M., Bauer, T.: Supporting Ad-Hoc Changes in Distributed Workflow Management Systems. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 150\u2013168. Springer, Heidelberg (2007)"},{"key":"65_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69534-9_1","volume-title":"Advanced Information Systems Engineering","author":"M. Papazoglou","year":"2008","unstructured":"Papazoglou, M.: The Challenges of Service Evolution. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 1\u201315. Springer, Heidelberg (2008)"},{"key":"65_CR38","doi-asserted-by":"crossref","unstructured":"Liske, N., Lohmann, N., Stahl, C., Wolf, K.: Another approach to service instance migration. Service Oriented Computing, 607\u2013621 (2009)","DOI":"10.1007\/978-3-642-10383-4_44"},{"key":"65_CR39","doi-asserted-by":"crossref","unstructured":"Mooij, A., et al.: Constructing replaceable services using operating guidelines and maximal controllers. In: Web Services and Formal Methods, pp. 116\u2013130 (2011)","DOI":"10.1007\/978-3-642-19589-1_8"},{"key":"65_CR40","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":"W. Sadiq","year":"2007","unstructured":"Sadiq, W., 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":"65_CR41","unstructured":"El Kharbili, M., et al.: Business process compliance checking: Current state and future challenges. In: MobIS 2008, pp. 107\u2013113 (2008)"},{"key":"65_CR42","unstructured":"Alberti, M., et al.: Expressing and verifying business contracts with abductive logic programming. In: NorMAS 2007, Dagstuhl Seminar Proceedings (2007)"},{"key":"65_CR43","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/11837862_2","volume-title":"Business Process Management Workshops","author":"S. Goedertier","year":"2006","unstructured":"Goedertier, S., Vanthienen, J.: Designing Compliant Business Processes with Obligations and Permissions. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 5\u201314. Springer, Heidelberg (2006)"},{"key":"65_CR44","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: FMSP 1998 (1998)","DOI":"10.1145\/298595.298598"},{"key":"65_CR45","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)"},{"issue":"1","key":"65_CR46","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"L.T. Ly","year":"2008","unstructured":"Ly, L.T., et al.: Integration and verification of semantic constraints in adaptive process management systems. Data & Knowl. Eng.\u00a064(1), 3\u201323 (2008)","journal-title":"Data & Knowl. Eng."},{"key":"65_CR47","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 - requirements, challenges, solutions. Inf. Sys. Frontiers (2009)","DOI":"10.1007\/s10796-009-9185-9"},{"key":"65_CR48","unstructured":"Knuplesch, D., Reichert, M.: Ensuring business process compliance along the process life cycle. Technical Report 2011-06, University of Ulm (2011)"},{"key":"65_CR49","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":"65_CR50","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":"65_CR51","unstructured":"Weber, I., Hoffmann, J., Mendling, J.: Semantic business process validation. In: SBPM 2008 (2008)"},{"issue":"2","key":"65_CR52","first-page":"195","volume":"22","author":"M. Alles","year":"2008","unstructured":"Alles, M., Kogan, A., Vasarhelyi, M.: Putting continuous auditing theory into practice: Lessons from two pilot implementations. Inf. Sys.\u00a022(2), 195\u2013214 (2008)","journal-title":"Inf. Sys."},{"key":"65_CR53","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":"65_CR54","unstructured":"Giblin, C., et al.: From regulatory policies to event monitoring rules: Towards model-driven compliance automation. Technical Report RZ-3662, IBM (2006)"},{"issue":"2-3","key":"65_CR55","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1142\/S0218843005001109","volume":"14","author":"A. Berry","year":"2005","unstructured":"Berry, A., Milosevic, Z.: Extending choreography with business contract constraints. Coop. Inf. Sys.\u00a014(2-3), 131\u2013179 (2005)","journal-title":"Coop. Inf. Sys."},{"key":"65_CR56","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":"65_CR57","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"F.M. Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring Business Constraints with Linear Temporal Logic: An Approach Based on Colored Automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol.\u00a06896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"key":"65_CR58","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. LNCS, vol.\u00a03760, pp. 130\u2013147. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36285-9_65","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T18:22:06Z","timestamp":1745950926000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36285-9_65"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642362842","9783642362859"],"references-count":58,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36285-9_65","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}