Clinical Pathways Formal Modelling Using Bigraphical Reactive Systems

摘要

Clinical pathways are multidisciplinary structured care plans that aim at increasing the quality of healthcare delivery. Despite the wide-spread adoption of clinical pathways by governments and healthcare authorities, works that associate formal semantics to clinical pathways do not model clearly the roles of health professionals during the care process. This has motivated us to propose a formal modelling approach for clinical pathways, based on Bigraphical Reactive Systems. We concentrate on showing graphically relationships among the healthcare stakeholders. To meet the control flow requirement of clinical pathways, we apply the Maude strategies language over a Maude implementation of Bigraphical reactive Systems key concepts.