Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence

Medication prescriptions are an important class of medical intervention orders. Their complexity ranges widely, depending on the nature of the patient’s condition and the prescribed substance(s). In today’s IT supported clinical environments, prescriptions are often authored electronically. Patient adherence to the prescribed medication regimen is a key determinant for the outcome of the intervention. Recently, an increasing number of information technologies are entering the consumer market with a goal to assist patients with adhering to their prescriptions. The effectiveness (and safety) of these technologies is limited to simplistic cases, however, because of the lack of a precise semantics for more complex prescription orders. To close this gap, we present an approach to formalize the meaning of medication prescriptions based on a graph-transformation system. This allows for more complex and variable prescriptions to be semantically coded and their adherence to be automatically monitored. Our work has been implemented within a prototypical prescribing tool and validated with domain experts.

[1]  Marie T. Brown,et al.  Medication adherence: WHO cares? , 2011, Mayo Clinic proceedings.

[2]  Gabriele Taentzer,et al.  AGG: A Graph Transformation Environment for Modeling and Validation of Software , 2003, AGTIVE.

[3]  Arend Rensink The GROOVE Simulator: A Tool for State Space Generation , 2003, AGTIVE.

[4]  Upkar Varshney,et al.  Smart medication management system and multiple interventions for medication adherence , 2013, Decis. Support Syst..

[5]  Uzay Kaymak,et al.  Analyzing conformance to clinical protocols involving advanced synchronizations , 2013, 2013 IEEE International Conference on Bioinformatics and Biomedicine.

[6]  Tobias Rötschke,et al.  MOFLON: A Standard-Compliant Metamodeling Framework with Graph Transformations , 2006, ECMDA-FA.

[7]  Leslie Lamport,et al.  Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers [Book Review] , 2002, Computer.

[8]  Jens H. Weber,et al.  SmartMed: A Medication Management System to Improve Adherence , 2015, ITCH.

[9]  Juan de Lara,et al.  Domain Specific Languages with Graphical and Textual Views , 2007, AGTIVE.

[10]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[11]  Chi-Sheng Shih,et al.  APAMAT: A Prescription Algebra for Medication Authoring Tool , 2006, 2006 IEEE International Conference on Systems, Man and Cybernetics.

[12]  Gabor Karsai,et al.  Challenges and directions in formalizing the semantics of modeling languages , 2011, Comput. Sci. Inf. Syst..

[13]  Jane Sinclair,et al.  Introduction to formal specification and Z , 1991, Prentice Hall International Series in Computer Science.

[14]  Juan de Lara,et al.  AToM3: A Tool for Multi-formalism and Meta-modelling , 2002, FASE.

[15]  Reiko Heckel,et al.  Graph Transformation in a Nutshell , 2006, FoVMT.