Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study
Résumé
Current Workflow Management Systems (WfMSs) are only applicable for a minority of clinical processes. One of their most severe weaknesses is the limited support of users to deviate from the pre-modeled process plan during run-time. Healthcare has to be handled in a very flexible way due to the variety of patient individual anamnesis and state of health, kinds of exceptions and deviations which occur very often. In this paper, we show how Recursive Workflow Nets (RecWF-Nets) are a promising formalism for the modeling and analysis flexible and hierarchical clinical processes in the healthcare domain. Since the semantics of our model is defined in terms of rewriting logic, we benefit from the use of the MAUDE system as a simulation environment for the workflow specifications where their soundness property can be verified using the LTL model-checker of MAUDE.