Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies

The coexistence of multiple medical conditions in an individual presents a complex challenge in healthcare. This research aims to enhance the analysis of comorbidity treatment plans by capturing nuanced interactions between different medical conditions and treatment interventions. Reaction systems provide a formal framework for modelling and analysing systems in which the dynamics is driven by promotion/inhibition mechanisms and external intervention of context processes. This study explores the integration of guards into context processes to increase the expressiveness of the formalism in order to analyse treatment plans for comorbidities. Through the analysis of combined clinical guidelines for atrial fibrillation and hypertension, we demonstrate the applicability and utility of this approach in optimizing patient care and improving health outcomes in the context of complex medical scenarios.