This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
- 2.
This figure and others show original screenshots from Mobiliar’s business application. Relevant items in German are translated as needed.
References
BPMN. Specification—Business process model and notation. Accessed July 14, 2016, from http://www.bpmn.org/
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–26). Berlin: Springer.
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–319).
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).
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).
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–29.
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–420). New York: ACM.
Fahland, D., Lübke, 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–9, 2009. Proceedings (pp. 353–366). Berlin: Springer.
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–488). Berlin: Springer.
Governatori, G., & Rotolo, A. (2010). Norm compliance in business process modeling. In Semantic Web Rules—International Symposium, RuleML 2010, Washington, DC, October 21–23, 2010. Proceedings (pp. 194–209).
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–352.
ISIS Papyrus. ISIS Papyrus solution catalog – Swiss Mobiliar. Accessed March 11, 2016, from http://www.isis-papyrus.com/e15/pages/solutions-catalog/solutions-catalog-mobiliar-wizard.html
ISIS Papyrus. ISIS Papyrus Press Release. Accessed August 18, 2016, from https://www.isis-papyrus.com/e15/pages/press/PR20151208-WfMC-Award.html
Mobiliar: Die Mobiliar Versicherungen und Vorsorge. Accessed March, 11, 2016, from https://www.mobi.ch/.
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–21, 2014. pp. 162–173. CEUR-WS.org
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–177).
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 – A Repair Service Management Case. BPM 2015 4th Work. ACM Other Non-Workflow Approaches to BPM (pp. 1–12).
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–138). doi:10.1109/EDOCW.2014.28.
Acknowledgement
This work was supported by the FFG project CACAO, no. 843461 and the Wiener Wissenschafts, Forschungs, and Technologie funds (WWTF), Grant No. ICT12-001.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this chapter
Cite this chapter
Kim, T.T.T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., Zdun, U. (2018). Enabling Flexibility of Business Processes Using Compliance Rules: The Case of Mobiliar. In: vom Brocke, J., Mendling, J. (eds) Business Process Management Cases. Management for Professionals. Springer, Cham. https://doi.org/10.1007/978-3-319-58307-5_6
Download citation
DOI: https://doi.org/10.1007/978-3-319-58307-5_6
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-58306-8
Online ISBN: 978-3-319-58307-5
eBook Packages: Business and ManagementBusiness and Management (R0)