{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T04:10:03Z","timestamp":1749010203030,"version":"3.41.0"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319428864"},{"type":"electronic","value":"9783319428871"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42887-1_4","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T12:27:22Z","timestamp":1469104042000},"page":"43-54","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Embracing Process Compliance and Flexibility Through Behavioral Consistency Checking in ACM"],"prefix":"10.1007","author":[{"given":"Thanh","family":"Tran Thi Kim","sequence":"first","affiliation":[]},{"given":"Erhard","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Ruhsam","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Czepa","sequence":"additional","affiliation":[]},{"given":"Huy","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"issue":"2","key":"4_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"key":"4_CR2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Heidelberg (2012)"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.datak.2007.06.007","volume":"64","author":"LT Ly","year":"2008","unstructured":"Ly, L.T., Rinderle, S., Dadam, P.: Integration and verification of semantic constraints in adaptive process management systems. Data Knowl. Eng. 64(1), 3\u201323 (2008)","journal-title":"Data Knowl. Eng."},{"key":"4_CR4","unstructured":"Fellmann, M., Zasada, A.: State-of-the-art of business process compliance approaches: a survey. In: 22nd European Conference on Information Systems. Tel Aviv, Israel (2014)"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering, New York (1999)","DOI":"10.1145\/302405.302672"},{"key":"4_CR6","unstructured":"ISIS papyrus: adaptive case management. http:\/\/www.isis-papyrus.com\/e15\/pages\/business-apps\/acm.html"},{"issue":"2","key":"4_CR7","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 Syst. J. 46(2), 335\u2013361 (2007)","journal-title":"IBM Syst. J."},{"key":"4_CR8","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.) On the Move to Meaningful Internet Systems 2007: CoopIS, DOA, ODBASE, GADA, and IS, pp. 59\u201376. Springer, Heidelberg (2007)"},{"key":"4_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. 5240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"key":"4_CR10","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":"WMP 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., Tari, Z. (eds.) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE, pp. 130\u2013147. Springer, Berlin (2005)"},{"key":"4_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/978-3-642-17358-5_9","volume-title":"Service-Oriented Computing","author":"A Birukou","year":"2010","unstructured":"Birukou, A., D\u2019Andrea, V., Leymann, F., Serafinski, J., Silveira, P., Strauch, S., Tluczek, M.: An integrated solution for runtime compliance governance in SOA. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 122\u2013136. Springer, Heidelberg (2010)"},{"key":"4_CR12","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-7091-0415-6_5","volume-title":"Service Engineering","author":"T Holmes","year":"2011","unstructured":"Holmes, T., Mulo, E., Zdun, U., Dustdar, S.: Model-aware monitoring of SOAs for compliance. In: Dustdar, S., Li, F. (eds.) Service Engineering, pp. 117\u2013136. Springer, Berlin (2011)"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Ly, L.T., Maggi, F.M., Montali, M., Rinderle-Ma, S., van der Aalst, W.M.P.: A framework for the systematic comparison and evaluation of compliance monitoring approaches. In: IEEE 17th International Enterprise Distributed Object Computing Conference (EDOC), pp. 7\u201316 (2013)","DOI":"10.1109\/EDOC.2013.11"},{"key":"4_CR14","volume-title":"How Knowledge Workers Get Things Done","author":"K Swenson","year":"2012","unstructured":"Swenson, K.: Case management: contrasting production vs. adaptive. In: Fischer, L. (ed.) How Knowledge Workers Get Things Done. Future Strategies Inc., Lighthouse Point (2012)"},{"key":"4_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1007\/978-3-642-41033-8_24","volume-title":"On the Move to Meaningful Internet Systems: OTM 2013 Workshops","author":"TTK Tran","year":"2013","unstructured":"Tran, T.T.K., Pucher, M.J., Mendling, J., Ruhsam, C.: Setup and maintenance factors of ACM systems. In: Demey, Y.T., Panetto, H. (eds.) OTM 2013 Workshops 2013. LNCS, vol. 8186, pp. 172\u2013177. Springer, Heidelberg (2013)"},{"key":"4_CR16","unstructured":"Espertech: complex event processing (CEP). http:\/\/www.espertech.com"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-642-16289-3_17","volume-title":"Semantic Web Rules","author":"G Governatori","year":"2010","unstructured":"Governatori, G., Rotolo, A.: Norm compliance in business process modeling. In: Dean, M., Hall, J., Rotolo, A., Tabet, S. (eds.) RuleML 2010. LNCS, vol. 6403, pp. 194\u2013209. Springer, Heidelberg (2010)"},{"key":"4_CR18","first-page":"59","volume-title":"Thriving on Adaptability: Best Practices for Knowledge Workers","author":"HF Sem","year":"2015","unstructured":"Sem, H.F., Carlsen, S., Coll, G.J.: Combining compliance with flexibility. In: Fischer, L. (ed.) Thriving on Adaptability: Best Practices for Knowledge Workers, pp. 59\u201371. Future Strategies Inc., Lighthouse Point (2015)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Tran, T.T.K., Ruhsam, C., Pucher, M.J., Kobler, M., Mendling, J.: Towards a pattern recognition approach for transferring knowledge in ACM. In: IEEE 18th International Enterprise Distributed Object Computing Conference Workshops and Demonstrations (EDOCW), pp. 134\u2013138 (2014)","DOI":"10.1109\/EDOCW.2014.28"},{"key":"4_CR20","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":"WM Aalst van der","year":"2006","unstructured":"van der Aalst, W.M., 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. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"4_CR21","unstructured":"United States environmental protection agency: lead renovation, repair and painting program rules. http:\/\/www2.epa.gov\/lead\/lead-renovation-repair-and-painting-program-rules"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42887-1_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,4]],"date-time":"2025-06-04T03:41:22Z","timestamp":1749008482000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42887-1_4"}},"subtitle":["A Repair Service Management Case"],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319428864","9783319428871"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42887-1_4","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"22 July 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}