{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,2]],"date-time":"2026-01-02T07:27:54Z","timestamp":1767338874445,"version":"3.37.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319981765"},{"type":"electronic","value":"9783319981772"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-13094-6_3","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T01:45:32Z","timestamp":1277171132000},"page":"9-23","source":"Crossref","is-referenced-by-count":59,"title":["Design and Verification of Instantiable Compliance Rule Graphs in Process-Aware Information Systems"],"prefix":"10.1007","author":[{"given":"Linh Thao","family":"Ly","sequence":"first","affiliation":[]},{"given":"Stefanie","family":"Rinderle-Ma","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Dadam","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","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., Naimiri, 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":"3_CR2","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":"3_CR3","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., Rinderle-Ma, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data and Knowledge Engineering\u00a064, 3\u201323 (2008)","journal-title":"Data and Knowledge Engineering"},{"key":"3_CR4","series-title":"LNBIP","first-page":"1","volume-title":"BIS 2009","author":"A. Filipowska","year":"2009","unstructured":"Filipowska, A., Hepp, M., Kaczmarek, M., Markovic, I.: Organisational ontology framework for semantic business process management. In: BIS 2009. LNBIP, vol.\u00a021, pp. 1\u201312. Springer, Heidelberg (2009)"},{"key":"3_CR5","first-page":"95","volume":"102","author":"A. Kumar","year":"2004","unstructured":"Kumar, A., Smith, B., Pisanelli, D., Gangemi, A., Stefanelli, M.: An ontological framework for the implementation of clinical guidelines in health care organizations. Stud. Health Technol. Inform.\u00a0102, 95\u2013107 (2004)","journal-title":"Stud. Health Technol. Inform."},{"key":"3_CR6","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. Distributed and Parallel Databases\u00a016, 91\u2013116 (2004)","journal-title":"Distributed and Parallel Databases"},{"key":"3_CR7","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. Information Systems Frontiers (2009) (accepted for publication)","DOI":"10.1007\/s10796-009-9185-9"},{"key":"3_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W. Aalst van der","year":"2007","unstructured":"van der Aalst, W., et al.: Prom 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.: Verification of workflow nets. In: Int\u2019l Conf. on Application and Theory of Petri Nets, pp. 407\u2013426 (1997)","DOI":"10.1007\/3-540-63139-9_48"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Hallerbach, A., Bauer, T., Reichert, M.: Managing process variants in the process lifecycle. In: Proc. ICEIS 2008, pp. 154\u2013161 (2008)","DOI":"10.5220\/0001685001540161"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-540-76848-7_7","volume-title":"On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS","author":"M. Pesic","year":"2007","unstructured":"Pesic, M., Schonenberg, M., Sidorova, N., van der Aalst, W.: Constraint-based workflow models: Change made easy. In: Meersman, R., Tari, Z. (eds.) OTM 2007, Part I. LNCS, vol.\u00a04803, pp. 77\u201394. Springer, Heidelberg (2007)"},{"key":"3_CR12","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., Orlowska, M., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Inf. Syst.\u00a030, 349\u2013378 (2005)","journal-title":"Inf. Syst."},{"key":"3_CR13","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Eindhoven University of Technology (2008)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Awad, A., Weske, M.: Visualization of compliance violation in business process models. In: Proc. BPI 2009 (2009)","DOI":"10.1007\/978-3-642-05148-7_4"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Yu, J., Manh, T.P., Hand, J., Jin, Y.: Pattern-based property specification and verification for service composition. CeCSES Report SUT. CeCSES-TR010, Swinburne University of Technology (2006)","DOI":"10.1007\/11912873_18"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proc. ICSE 1999, pp. 411\u2013420 (1999)","DOI":"10.1145\/302405.302672"},{"key":"3_CR17","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":"3_CR18","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, 335\u2013361 (2007)","journal-title":"IBM Systems Journal"},{"key":"3_CR19","doi-asserted-by":"crossref","unstructured":"Governatori, G., Hoffmann, J., Sadiq, S., Weber, I.: Detecting regulatory compliance for business process models through semantic annotations. In: Proc. BPD 2008 (2008)","DOI":"10.1007\/978-3-642-00328-8_2"},{"key":"3_CR20","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 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)"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W. Aalst van der","year":"2006","unstructured":"van der Aalst, W., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"3_CR22","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)"}],"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-13094-6_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,22]],"date-time":"2025-02-22T03:45:16Z","timestamp":1740195916000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-13094-6_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783319981765","9783319981772"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-13094-6_3","relation":{},"ISSN":["1612-2909","1860-0824"],"issn-type":[{"type":"print","value":"1612-2909"},{"type":"electronic","value":"1860-0824"}],"subject":[],"published":{"date-parts":[[2010]]}}}