|
 
|
[BHB12] Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study
Conférence Internationale avec comité de lecture : Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012, August 2012, pp.1-16,Mots clés: Workflow management technology, flexible healthcare processes, hierarchical clinical processes, Recursive Workflow Nets, Model Checking
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.
Commentaires:
formal proceedings to appear
Equipe:
sys
BibTeX
| @inproceedings { | |||
| BHB12, | |||
| title | = | "{Modeling and Analysis of Flexible Healthcare Processes: Breast Cancer Treatment Case Study}", | |
| author | = | " K. Barkaoui and A. Hicheur and A. Ben Dhieb ", | |
| booktitle | = | "{Foundations of Health Information Engineering and Systems - FHIES 2012 -co located event of FM 2012}", | |
| year | = | 2012, | |
| month | = | "August", | |
| pages | = | "1-16", | |
| note | = | "{formal proceedings to appear}", | |
| } | |||
