Skip to main content
Top

2018 | OriginalPaper | Chapter

Clinical Processes - The Killer Application for Constraint-Based Process Interactions?

Authors : Andres Jimenez-Ramirez, Irene Barba, Manfred Reichert, Barbara Weber, Carmelo Del Valle

Published in: Advanced Information Systems Engineering

Publisher: Springer International Publishing

Activate our intelligent search to find suitable subject content or patents.

search-config
loading …

Abstract

For more than a decade, the interest in aligning information systems in a process-oriented way has been increasing. To enable operational support for business processes, the latter are usually specified in an imperative way. The resulting process models, however, tend to be too rigid to meet the flexibility demands of the actors involved. Declarative process modeling languages, in turn, provide a promising alternative in scenarios in which a high level of flexibility is demanded. In the scientific literature, declarative languages have been used for modeling rather simple processes or synthetic examples. However, to the best of our knowledge, they have not been used to model complex, real-world scenarios that comprise constraints going beyond control-flow. In this paper, we propose the use of a declarative language for modeling a sophisticated healthcare process scenario from the real world. The scenario is subject to complex temporal constraints and entails the need for coordinating the constraint-based interactions among the processes related to a patient treatment process. As demonstrated in this work, the selected real process scenario can be suitably modeled through a declarative approach.

Dont have a licence yet? Then find out more about our products and how to get one now:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Footnotes
1
Respective estimates can be obtained by interviewing subject matter experts or by analyzing the event logs of completed process instances. Moreover, both approaches can be combined to obtain more reliable estimates.
 
2
A complete formalization of the TConDec-R constraints is available at http://​azarias.​lsi.​us.​es/​TCR/​Formalization.​pdf.
 
5
A set of traces generated by the web-based tool can be accessed at http://​azarias.​lsi.​us.​es/​TCR/​instances.​zip.
 
Literature
1.
go back to reference Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRef Allen, J.F.: Maintaining knowledge about temporal intervals. Commun. ACM 26(11), 832–843 (1983)CrossRef
2.
go back to reference Barba, I., Lanz, A., Weber, B., Reichert, M., Del Valle, C.: Optimized time management for declarative workflows. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS/EMMSAD-2012. LNBIP, vol. 113, pp. 195–210. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-31072-0_14CrossRef Barba, I., Lanz, A., Weber, B., Reichert, M., Del Valle, C.: Optimized time management for declarative workflows. In: Bider, I., Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Wrycza, S. (eds.) BPMDS/EMMSAD-2012. LNBIP, vol. 113, pp. 195–210. Springer, Heidelberg (2012). https://​doi.​org/​10.​1007/​978-3-642-31072-0_​14CrossRef
3.
go back to reference Barba, I., Weber, B., del Valle, C., Jimenez-Ramirez, A.: User recommendations for the optimized execution of business processes. Data Knowl. Eng. 86, 61–84 (2013)CrossRef Barba, I., Weber, B., del Valle, C., Jimenez-Ramirez, A.: User recommendations for the optimized execution of business processes. Data Knowl. Eng. 86, 61–84 (2013)CrossRef
4.
go back to reference Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194–211 (2016)CrossRef Burattin, A., Maggi, F.M., Sperduti, A.: Conformance checking based on multi-perspective declarative process models. Expert Syst. Appl. 65, 194–211 (2016)CrossRef
6.
go back to reference Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience, Hoboken (2005) Dumas, M., van der Aalst, W.M.P., ter Hofstede, A.H. (eds.): Process-Aware Information Systems: Bridging People and Software Through Process Technology. Wiley-Interscience, Hoboken (2005)
7.
go back to reference 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. 15(2), 325–352 (2016)CrossRef 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. 15(2), 325–352 (2016)CrossRef
8.
go back to reference Heuck, E., Hildebrandt, T., Kiærulff Lerche, R., Marquard, M., Normann, H., Iven Strømsted, R., Weber, B.: Digitalising the general data protection regulation with dynamic condition response graphs. In: Proceedings of BPM, pp. 124–134 (2017) Heuck, E., Hildebrandt, T., Kiærulff Lerche, R., Marquard, M., Normann, H., Iven Strømsted, R., Weber, B.: Digitalising the general data protection regulation with dynamic condition response graphs. In: Proceedings of BPM, pp. 124–134 (2017)
9.
go back to reference Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. J. Logic Algebraic Program. 82(5), 164–185 (2013)MathSciNetCrossRef Hildebrandt, T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. J. Logic Algebraic Program. 82(5), 164–185 (2013)MathSciNetCrossRef
10.
go back to reference Jiang, Y., Xiao, N., Zhang, Y., Zhang, L.: A novel flexible activity refinement approach for improving workflow process flexibility. Comput. Ind. 80, 1–15 (2016)CrossRef Jiang, Y., Xiao, N., Zhang, Y., Zhang, L.: A novel flexible activity refinement approach for improving workflow process flexibility. Comput. Ind. 80, 1–15 (2016)CrossRef
12.
go back to reference Jimenez-Ramirez, A., Barba, I., Fernandez-Olivares, J., del Valle, C., Weber, B.: Time prediction on multi-perspective declarative business processes. Knowledge and Information Systems, pp. 1–31 (in press) Jimenez-Ramirez, A., Barba, I., Fernandez-Olivares, J., del Valle, C., Weber, B.: Time prediction on multi-perspective declarative business processes. Knowledge and Information Systems, pp. 1–31 (in press)
13.
go back to reference Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38–68 (2016)CrossRef Lanz, A., Reichert, M., Weber, B.: Process time patterns: a formal foundation. Inf. Syst. 57, 38–68 (2016)CrossRef
14.
go back to reference Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Eng. 19(2), 113–141 (2014)CrossRef Lanz, A., Weber, B., Reichert, M.: Time patterns for process-aware information systems. Requirements Eng. 19(2), 113–141 (2014)CrossRef
17.
go back to reference Maggi, F.M., Westergaard, M.: Using timed automata for a Priori warnings and planning for timed declarative process models. Int. J. Coop. Inf. Syst. 23(1), 1440003 (2014)CrossRef Maggi, F.M., Westergaard, M.: Using timed automata for a Priori warnings and planning for timed declarative process models. Int. J. Coop. Inf. Syst. 23(1), 1440003 (2014)CrossRef
18.
go back to reference Mans, R.S., Russell, N.C., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J.: Simulation to analyze the impact of a schedule-aware workflow management system. Simulation 86(8–9), 519–541 (2010)CrossRef Mans, R.S., Russell, N.C., van der Aalst, W.M.P., Bakker, P.J.M., Moleman, A.J.: Simulation to analyze the impact of a schedule-aware workflow management system. Simulation 86(8–9), 519–541 (2010)CrossRef
20.
go back to reference Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17 (2013)CrossRef Montali, M., Maggi, F.M., Chesani, F., Mello, P., van der Aalst, W.M.P.: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17 (2013)CrossRef
21.
go back to reference Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and procedural approaches for modelling clinical guidelines: addressing flexibility issues. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol. 4928, pp. 335–346. Springer, Heidelberg (2008). https://doi.org/10.1007/978-3-540-78238-4_35CrossRef Mulyar, N., Pesic, M., van der Aalst, W.M.P., Peleg, M.: Declarative and procedural approaches for modelling clinical guidelines: addressing flexibility issues. In: ter Hofstede, A., Benatallah, B., Paik, H.-Y. (eds.) BPM 2007. LNCS, vol. 4928, pp. 335–346. Springer, Heidelberg (2008). https://​doi.​org/​10.​1007/​978-3-540-78238-4_​35CrossRef
23.
go back to reference Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2008) Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, Eindhoven University of Technology, Eindhoven (2008)
25.
go back to reference Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.P.: Declarative process mining in healthcare. Expert Sys. Appl. 23, 9236–9251 (2015)CrossRef Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.P.: Declarative process mining in healthcare. Expert Sys. Appl. 23, 9236–9251 (2015)CrossRef
27.
go back to reference Schultheiß, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M.: Designing the processes for ovarian cancer surgery. Technical report DBIS-6, University of Ulm (1996) Schultheiß, B., Meyer, J., Mangold, R., Zemmler, T., Reichert, M.: Designing the processes for ovarian cancer surgery. Technical report DBIS-6, University of Ulm (1996)
28.
go back to reference van der Aalst, W.M.P., Pesic, M., Schonenberg, M.H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99–113 (2009)CrossRef van der Aalst, W.M.P., Pesic, M., Schonenberg, M.H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99–113 (2009)CrossRef
32.
go back to reference Zeising, M., Schönig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: Proceedings of CollaborateCom, pp. 94–103 (2014) Zeising, M., Schönig, S., Jablonski, S.: Towards a common platform for the support of routine and agile business processes. In: Proceedings of CollaborateCom, pp. 94–103 (2014)
33.
go back to reference 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. 14(3), 1081–1103 (2015)CrossRef 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. 14(3), 1081–1103 (2015)CrossRef
Metadata
Title
Clinical Processes - The Killer Application for Constraint-Based Process Interactions?
Authors
Andres Jimenez-Ramirez
Irene Barba
Manfred Reichert
Barbara Weber
Carmelo Del Valle
Copyright Year
2018
DOI
https://doi.org/10.1007/978-3-319-91563-0_23

Premium Partner