{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:07:35Z","timestamp":1777889255668,"version":"3.51.4"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319583068","type":"print"},{"value":"9783319583075","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,8,11]],"date-time":"2017-08-11T00:00:00Z","timestamp":1502409600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-58307-5_6","type":"book-chapter","created":{"date-parts":[[2017,8,10]],"date-time":"2017-08-10T06:32:40Z","timestamp":1502346760000},"page":"91-109","source":"Crossref","is-referenced-by-count":5,"title":["Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar"],"prefix":"10.1007","author":[{"given":"Thanh Tran Thi","family":"Kim","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Erhard","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Ruhsam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christoph","family":"Czepa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Huy","family":"Tran","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,11]]},"reference":[{"key":"6_CR1","unstructured":"BPMN. Specification\u2014Business process model and notation. Accessed July 14, 2016, from \nhttp:\/\/www.bpmn.org\/"},{"key":"6_CR2","first-page":"1","volume-title":"25 years of model checking: History, achievements, perspectives","author":"EM Clarke","year":"2008","unstructured":"Clarke, E. M. (2008). The birth of model checking. In O. Grumberg & H. Veith (Eds.), 25 years of model checking: History, achievements, perspectives (pp. 1\u201326). Berlin: Springer."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Czepa, C., Tran, H., Zdun, U., Rinderle-Ma, S., Tran Thi Kim, T., Weiss, E., & Ruhsam, C. (2015). Supporting structural consistency checking in adaptive case management. In International Conference on Cooperative Information Systems (CoopIS) (pp. 311\u2013319).","DOI":"10.1007\/978-3-319-26148-5_19"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran Thi Kim, T., Weiss, E., & Ruhsam, C. (2016a). Towards a compliance support framework for adaptive case management. In 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016).","DOI":"10.1109\/EDOCW.2016.7584390"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran Thi Kim, T., Weiss, E., & Ruhsam, C. (2016b). Ontology-based behavioral constraint authoring. In 2nd International Workshop on Compliance, Evolution and Security in intra- and Cross-Organizational Processes (CeSCoP 2016), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016).","DOI":"10.1109\/EDOCW.2016.7584380"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1007\/s12599-015-0416-y","volume":"58","author":"J Smedt De","year":"2016","unstructured":"De Smedt, J., De Weerdt, J., Vanthienen, J., & Poels, G. (2016). Mixed-paradigm process modeling with intertwined state spaces. Business Information System Engineering, 58, 19\u201329.","journal-title":"Business Information System Engineering"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Dwyer, M. B., Avrunin, G. S., & Corbett, J. C. (1999). Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering (pp. 411\u2013420). New York: ACM.","DOI":"10.1145\/302405.302672"},{"key":"6_CR8","unstructured":"Fahland, D., L\u00fcbke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., & Zugal, S. (2009). Declarative versus imperative process modeling languages: The issue of understandability. In T. Halpin, J. Krogstie, S. Nurcan, E. Proper, R. Schmidt, P. Soffer, & R. Ukor (Eds.), Enterprise, business-process and information systems modeling: 10th International Workshop, BPMDS 2009, and 14th International Conference, EMMSAD 2009, held at CAiSE 2009, Amsterdam, June 8\u20139, 2009. Proceedings (pp. 353\u2013366). Berlin: Springer."},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Fahland, D., Mendling, J., Reijers, H. A., Weber, B., Weidlich, M., & Zugal, S. (2010). Declarative versus imperative process modeling languages: The issue of maintainability. In S. Rinderle-Ma, S. Sadiq, & F. Leymann (Eds.), Business Process Management Workshops: BPM 2009 International Workshops, Ulm, September 7, 2009. Revised Papers (pp. 477\u2013488). Berlin: Springer.","DOI":"10.1007\/978-3-642-12186-9_45"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Governatori, G., & Rotolo, A. (2010). Norm compliance in business process modeling. In Semantic Web Rules\u2014International Symposium, RuleML 2010, Washington, DC, October 21\u201323, 2010. Proceedings (pp. 194\u2013209).","DOI":"10.1007\/978-3-642-16289-3_17"},{"key":"6_CR11","doi-asserted-by":"crossref","first-page":"325","DOI":"10.1007\/s10270-014-0435-z","volume":"15","author":"C Haisjackl","year":"2016","unstructured":"Haisjackl, C., Barba, I., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., & Weber, B. (2016). Understanding declare models: Strategies, pitfalls, empirical results. Software and System Modeling, 15, 325\u2013352.","journal-title":"Software and System Modeling"},{"key":"6_CR12","unstructured":"ISIS Papyrus. ISIS Papyrus solution catalog \u2013 Swiss Mobiliar. Accessed March 11, 2016, from \nhttp:\/\/www.isis-papyrus.com\/e15\/pages\/solutions-catalog\/solutions-catalog-mobiliar-wizard.html"},{"key":"6_CR13","unstructured":"ISIS Papyrus. ISIS Papyrus Press Release. Accessed August 18, 2016, from \nhttps:\/\/www.isis-papyrus.com\/e15\/pages\/press\/PR20151208-WfMC-Award.html"},{"key":"6_CR14","unstructured":"Mobiliar: Die Mobiliar Versicherungen und Vorsorge. Accessed March, 11, 2016, from \nhttps:\/\/www.mobi.ch\n\n\/."},{"key":"6_CR15","unstructured":"Prescher, J., Di Ciccio, C., & Mendling, J. (2014). From declarative processes to imperative models. In Accorsi, R., Ceravolo, P., & Russo, B. (Eds.), Proceedings of the 4th International Symposium on Data-driven Process Discovery and Analysis {(SIMPDA} 2014), Milan, November 19\u201321, 2014. pp. 162\u2013173. \nCEUR-WS.org"},{"key":"6_CR16","unstructured":"Tran Thi Kim, T., Pucher, M. J., Mendling, J., & Ruhsam, C. (2013). Setup and maintenance factors of ACM systems. Lecture Notes in Computer Science (including Subser. Lecture Notes in Artificial Intelligence Lecture Notes in Bioinformatics). 8186 LNCS (pp. 172\u2013177)."},{"key":"6_CR17","unstructured":"Tran Thi Kim, T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., & Zdun, U. (2015). Embracing process compliance and flexibility through behavioral consistency checking in ACM \u2013 A Repair Service Management Case. BPM 2015 4th Work. ACM Other Non-Workflow Approaches to BPM (pp. 1\u201312)."},{"key":"6_CR18","doi-asserted-by":"publisher","unstructured":"Tran, T., Ruhsam, C., Pucher, M. J., Kobler, M., & Mendling, J. (2014). Towards a pattern recognition approach for transferring knowledge in ACM. In 18th IEEE International Enterprise Distributed Object Computing Conference Workshops and Demonstrations, EDOCW 2014 (pp. 134\u2013138). doi:\n10.1109\/EDOCW.2014.28\n\n.","DOI":"10.1109\/EDOCW.2014.28"}],"container-title":["Management for Professionals","Business Process Management Cases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-58307-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T07:55:32Z","timestamp":1507794932000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-58307-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,8,11]]},"ISBN":["9783319583068","9783319583075"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-58307-5_6","relation":{},"ISSN":["2192-8096","2192-810X"],"issn-type":[{"value":"2192-8096","type":"print"},{"value":"2192-810X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,8,11]]}}}