Abstract
Process models are increasingly recognized as an important asset for higher-quality healthcare. They may be used for analyzing, documenting, and explaining complex medical processes to the stakeholders involved in the process. Models may also be used for driving single processes or for orchestrating multiple ones. Model-driven software technologies therefore appear promising. In particular, process enactment provides software-based support for executing operational processes. A wide variety of possible enactment schemes are available in medical environments, e.g., to maintain daily medical worklists, to issue warnings or reminders in specific process states, to schedule tasks competing for resources, to provide on-the-fly advice in case of staff unavailability, and so forth. Such variety of possible process enactments calls for a common conceptual framework for defining, comparing, classifying, and integrating them. The paper introduces such a framework and describes a number of patterns for process execution and enactment based on it. These patterns result from a simple generic, goal-oriented model of medical process execution aiming at clarifying the role of software within the process and its environment. The patterns are illustrated on two real, non-trivial case studies.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Andrews, T., et al.: Business Process Execution Language for Web Services, Version 1.1, May 2003. See also OASIS Standard WS-BPEL 2.0
Anzböck, R., Dustdar, S.: Modeling and implementing medical web services. Data Knowl. Eng. 55(2), 203–236 (2005)
Behnam, S.A., Badreddin, O.: Toward a care process metamodel for business intelligence healthcare monitoring solutions. In: Proceedings of 5th International Workshop on Software Engineering in Health Care (SEHC 2013), pp. 79–85 (2013)
Chen, B., Avrunin, G.S., Henneman, E.A., Clarke, L.A., Osterweil, L.J., Henneman, P.L.: Analyzing medical processes. In: Proceedings of the 30th International Conference on Software Engineering (ICSE 2008). ACM-IEEE, pp. 623–632 (2008)
Christov, S., et al.: Rigorously defining and analyzing medical processes: an experience report. In: Giese, H. (ed.) MODELS 2007. LNCS, vol. 5002, pp. 118–131. Springer, Heidelberg (2008). doi:10.1007/978-3-540-69073-3_14
Christov, S.C., Avrunin, G.S., Clarke, L.A.: Considerations for online deviation detection in medical processes. In: Proceedings of the 5th International Workshop on Software Engineering in Health Care (SEHC 2013), pp. 50–56 (2013)
Clarke, L.A., Osterweil, L.J., Avrunin, G.S.: Supporting human-intensive systems. In: Proceedings of FSE/SDP Workshop on Future of Software Engineering Research, pp. 87–92 (2010)
Dadam, P., Reichert, M., Kuhn, K.: Clinical Workflows—The Killer Application for Process-Oriented Information Systems? pp. 36–59. Springer, London (2000)
Damas, C., Lambeau, B., Roucoux, F., van Lamsweerde, A.: Analyzing critical process models through behavior model synthesis. In: Proceedings of the 31st International Conference on Software Engineering (ICSE 2009), Vancouver, pp. 441–451 (2009)
Damas, C., Lambeau, B., van Lamsweerde, A.: Analyzing critical decision-based processes. IEEE Trans. Softw. Eng. 40(4), 338–365 (2014)
De Landtsheer, R., Ponsard, C.: Oscar.cbls: an open source framework for constraint-based local search. In: 27th ORBEL Annual Meeting, Kortrijk, 7–8 February 2013
Finkelstein, A., Kramer, J., Nuseibeh, B. (eds.): Software Process Modelling and Technology. Research Studies Press Ltd., Taunton (1994)
Gordon, C., Veloso, M., The PRESTIGE Consortium: Guidelines in healthcare: the experience of the PRESTIGE Project, Medical Informatics Europe. IOS Press (1999)
Heisel, M.: Agendas – a concept to guide software development activities. In: Proceedings of the IFIP TC2 WG2: 4th Working Conference on Systems Implementation, Languages, Methods and Tools, pp. 19–32. Chapman & Hall (1998)
Hou, J.C.: Pas: a wireless-enabled, sensor-integrated personal assistance system for independent and assisted living. In: High Confidence Medical Devices, Software, and Systems and Medical Device Plug-and-Play Interoperability (2007)
Johnston, M.E., Langton, K.B., Haynes, R.B., Mathieu, A.: Effects of computer-based clinical decision support systems on clinician performance and patient outcome: a critical appraisal of research. Ann. Intern. Med. 120(2), 135–142 (1994)
Jun, G.T., Ward, J.R., Morris, Z.: Health care process modelling: which method when? Int. J. Qual. Health Care 21(3), 214–224 (2009)
Kaiser, S., Miksch, S.: Modeling computer-supported clinical guidelines and protocols: a survey. Vienna Univ. Technology, report Asgaard-TR-2005-2 (2005)
van Lamsweerde, A.: Requirements Engineering: From System Goals to UML Models to Software Specifications. Wiley, Chichester (2009)
Lenz, R., Reichert, M.: IT support for healthcare processes. In: Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 354–363. Springer, Heidelberg (2005). doi:10.1007/11538394_24
McCall, E.K., Clarke, L.A., Osterweil, L.J.: An adaptable generation approach to agenda management. In: Proceedings of the 20th International Conference on Software Engineering (ICSE 1998), pp. 282–291 (2008)
Mathe, J., Sztipanovits, J., Levy, M., Jackson, E.K., Schulte, W.: Cancer treatment planning: formal methods to the rescue. In: Proceedings of the 4th International Workshop on Software Engineering in Health Care (SEHC 2012), Zurich (2012)
OMG: UML 2.0 Superstructure Specification (2003)
OMG: Business Process Modeling Notation, v1.1 (2008)
Osterweil, L.J.: Software processes are software too. In: Proceedings of the 9th International Conference on Software Engineering (ICSE 1987), pp. 2–13. ACM-IEEE (1987)
Perry, M.C.: The Chemotherapy Source Book. Lippincott Williams & Wilkins, Philadelphia (2008)
Raunak, M.S., Osterweil, L.J.: Resource management for complex, dynamic environments. IEEE Trans. Softw. Eng. 39(3), 384–402 (2013)
Renholm, M., Leino-Kilpi, H., Suominen, T.: Critical pathways: a systematic review. J. Nurs. Adm. 32(4), 196–202 (2002)
Staudt Lerner, B., Christov, S., Osterweil, L.J., Bendraou, R., Kannengiesser, U., Wise, A.: Exception handling patterns for process modeling. IEEE Trans. Softw. Eng. 36(2), 162–183 (2010)
Aalst, W.M.P., Hofstede, A.H.M., Weske, M.: Business process management: a survey. In: Aalst, W.M.P., Weske, M. (eds.) BPM 2003. LNCS, vol. 2678, pp. 1–12. Springer, Heidelberg (2003). doi:10.1007/3-540-44895-0_1
van der Aalst, W., et al.: YAWL: yet another workflow language. Inf. Syst. 30(4), 245–275 (2005)
Wang, Q., Shin, W., Liu, X., Zeng, Z., Oh, C., AlShebli, B.K.: I-living: an open system architecture for assisted living. In: SMC, pp. 4268–4275 (2006)
Westergaard, M., Maggi, F.M.: Declare: a tool suite for declarative workflow modeling and enactment. In: BPM (Demos), p. 820 (2011)
Wise, A., Cass, A.G., Lerner, B.S., McCall, E.K., Osterweil, L.J., Sutton, S.M.: Using little-JIL to coordinate agents in software engineering. In: Proceedings of the Automated Software Engineering Conference (ASE 2000), Grenoble, pp. 155–163. IEEE (2000)
Acknowledgement
We wish to thank P. Scalliet and M. Coevoet for providing us with details about their radiotherapy worklist software outlined in Sect. 5.1. Many thanks are also due to R. De Landtsheer, F. Roucoux, Y. Guyot, C. Ponsard and Y. Humblet for their collaboration in designing the scheduling engine in Sect. 5.2. This work was supported by the Regional Government of Wallonia (PIPAS project Nr. 1017087).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Lambeau, B., Damas, C., van Lamsweerde, A. (2017). Process Execution and Enactment in Medical Environments. In: Huhn, M., Williams, L. (eds) Software Engineering in Health Care. SEHC FHIES 2014 2014. Lecture Notes in Computer Science(), vol 9062. Springer, Cham. https://doi.org/10.1007/978-3-319-63194-3_10
Download citation
DOI: https://doi.org/10.1007/978-3-319-63194-3_10
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-63193-6
Online ISBN: 978-3-319-63194-3
eBook Packages: Computer ScienceComputer Science (R0)