Abstract
Modeling dynamic, human-centric, non-standardized and knowledge-intensive business processes with imperative process modeling approaches is very challenging. Declarative process modeling approaches are more appropriate for these processes, as they offer the run-time flexibility typically required in these cases. However, by means of a realistic healthcare process that falls in the aforementioned category, we demonstrate in this paper that current declarative approaches do not incorporate all the details needed. More specifically, they lack a way to model decision logic, which is important when attempting to fully capture these processes. We propose a new declarative language, Declare-R-DMN, which combines the declarative process modeling language Declare-R with the newly adopted OMG standard Decision Model and Notation. Aside from supporting the functionality of both languages, Declare-R-DMN also creates bridges between them. We will show that using this language results in process models that encapsulate much more knowledge, while still offering the same flexibility.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
Keywords
References
Goedertier, S., Vanthienen, J., Caron, F.: Declarative business process modelling: principles and modelling languages. Enterp. Inf. Syst., 1–25 (2013)
Lu, R., Sadiq, W.: A Survey of Comparative Business Process Modeling Approaches. In: Abramowicz, W. (ed.) BIS 2007. LNCS, vol. 4439, pp. 82–94. Springer, Heidelberg (2007)
Haisjackl, C., Barba, I., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., Weber, B.: Understanding Declare models: strategies, pitfalls, empirical results. Softw. Syst. Model. (2014)
Krogstie, J.: Perspectives to Process Modeling – A Historical Overview. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) EMMSAD 2012 and BPMDS 2012. LNBIP, vol. 113, pp. 315–330. Springer, Heidelberg (2012)
Van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Comput. Sci. - Res. Dev. 23, 99–113 (2009)
Pesic, M.: Constraint-based workflow management systems: shifting control to users (2008)
Barba, I., Del Valle, C.: Filtering rules for ConDec templates - Pseudocode and complexity. http://www.lsi.us.es/quivir/irene/FilteringRulesforConDecTemplates.pdf (accessed on October 9, 2014)
Payton, F.C., Paré, G., LeRouge, C., Reddy, M.: Health care IT: Process, people, patients and interdisciplinary considerations. J. Assoc. Inf. Syst. 12 (2011)
Boxwala, A.A, Peleg, M., Tu, S., Ogunyemi, O., Zeng, Q.T., Wang, D., Patel, V.L., Greenes, R.A, Shortliffe, E.H.: GLIF3: a representation format for sharable computer-interpretable clinical practice guidelines. J. Biomed. Inform. 37, 147–61 (2004)
Seyfang, A., Kosara, R., Miksch, S.: Asbru’s Reference Manual v7.3 (2002)
Fox, J., Johns, N., Rahmanzadeh, A.: Disseminating medical knowledge: the PROforma approach. Artif. Intell. Med. 14, 157–181 (1998)
Mulyar, N., Pesic, M., van der Aalst, W.M., Peleg, M.: Declarative and Procedural Approaches for Modelling Clinical Guidelines: Addressing Flexibility Issues. In: ter Hofstede, A.H., Benatallah, B., Paik, H.-Y. (eds.) BPM Workshops 2007. LNCS, vol. 4928, pp. 335–346. Springer, Heidelberg (2008)
OMG: Decision Model and Notation (DMN). www.omg.org/spec/DMN/Current/ (accessed on November 10, 2014)
Software Testing Genius: Decision Table Based Testing-Black Box Software Testing Technique. http://www.softwaretestinggenius.com/decision-table-based-testing-black-box-software-testing-technique
Decision Table Task Group: A Modern Appraisal Of Decision Tables (1982)
Zugal, S., Soffer, P., Haisjackl, C., Pinggera, J., Reichert, M., Weber, B.: Investigating expressiveness and understandability of hierarchy in declarative business process models. Softw. Syst. Model. (2013)
Montali, M., Chesani, F., Mello, P., Maggi, F.M.: Towards data-aware constraints in declare. In: Proceedings of the 28th Annual ACM Symposium on Applied Computing, SAC, pp. 1391–1396. ACM Press, New York (2013)
Borrego, D., Barba, I.: Conformance checking and diagnosis for declarative business process models in data-aware scenarios. Expert Syst. Appl. 41, 5340–5352 (2014)
Zugal, S., Pinggera, J., Weber, B.: Toward enhanced life‐cycle support for declarative processes. J. Softw. Evol. Process., 285–302 (2012)
De Smedt, J., De Weerdt, J., Vanthienen, J.: Multi-Paradigm Process Mining: Retrieving Better Models by Combining Rules and Sequences. SSRN Electron. J. (2014)
Maggi, F.M., Slaats, T., Reijers, H.A.: The Automated Discovery of Hybrid Processes. In: Sadiq, S., Soffer, P., Völzer, H. (eds.) BPM 2014. LNCS, vol. 8659, pp. 392–399. Springer, Heidelberg (2014)
Reichert, M., Weber, B.: Enabling flexibility in process-aware information systems. Springer (2012)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Mertens, S., Gailly, F., Poels, G. (2015). Enhancing Declarative Process Models with DMN Decision Logic. In: Gaaloul, K., Schmidt, R., Nurcan, S., Guerreiro, S., Ma, Q. (eds) Enterprise, Business-Process and Information Systems Modeling. BPMDS EMMSAD 2015 2015. Lecture Notes in Business Information Processing, vol 214. Springer, Cham. https://doi.org/10.1007/978-3-319-19237-6_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-19237-6_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-19236-9
Online ISBN: 978-3-319-19237-6
eBook Packages: Computer ScienceComputer Science (R0)