Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence

  • Jens H. WeberEmail author
  • Simon Diemert
  • Morgan Price
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9151)


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.


Graph Transformation Domain Specific Language Business Process Modeling Notation Prescription Order Computerize Provider Order Entry 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Amelunxen, C., Königs, A., Rötschke, T., Schürr, A.: MOFLON: a standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361–375. Springer, Heidelberg (2006) CrossRefGoogle Scholar
  2. 2.
    Andrés, F.P., de Lara, J., Guerra, E.: Domain specific languages with graphical and textual views. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 82–97. Springer, Heidelberg (2008) CrossRefGoogle Scholar
  3. 3.
    Brown, M.T., Bussell, J.K.: Medication adherence: who cares? In: Mayo Clinic Proceedings, vol. 86, pp. 304–314. Elsevier (2011)Google Scholar
  4. 4.
    Bryant, B.R., Gray, J., et al.: Challenges and directions in formalizing the semantics of modeling languages. Comp. Sci. Inform. Sys. 8(2), 225–253 (2011)CrossRefGoogle Scholar
  5. 5.
    de Lara, J., Vangheluwe, H.: AToM\(^3\): a tool for multi-formalism and meta-modelling. In: Kutsche, R.-D., Weber, H. (eds.) FASE 2002. LNCS, vol. 2306, pp. 174–188. Springer, Heidelberg (2002) CrossRefGoogle Scholar
  6. 6.
    Diemert, S., Richardson, K., et al.: SmartMed: a medication management system to improve adherence. Stud. Health Technol. Inform. 208, 125–130 (2015)Google Scholar
  7. 7.
    Heckel, R.: Graph transformation in a nutshell. ENTCS 148(1), 187–198 (2006)MathSciNetGoogle Scholar
  8. 8.
    Ruttan, J.: OSCAR. In: The Architecture of Open Source Applications. Structure, Scale and a Few More Fearless Hacks, vol. II (2012)Google Scholar
  9. 9.
    Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co. Inc., Amsterdam (2002) Google Scholar
  10. 10.
    Mernik, M., Heering, J.J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. (CSUR) 37(4), 316–344 (2005)CrossRefGoogle Scholar
  11. 11.
    Peterson, J.L.: Petri nets. ACM Comput. Surv. (CSUR) 9(3), 223–252 (1977)CrossRefGoogle Scholar
  12. 12.
    Potter, B., Till, D., Sinclair, J.: An introduction to formal specification and Z. Prentice Hall PTR, Upper Saddle River (1996)Google Scholar
  13. 13.
    Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479–485. Springer, Heidelberg (2004) CrossRefGoogle Scholar
  14. 14.
    Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., Böhlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446–453. Springer, Heidelberg (2004) CrossRefGoogle Scholar
  15. 15.
    Varshney, U.: Smart medication management system and multiple interventions for medication adherence. Decis. Support Syst. 55(2), 538–551 (2013)CrossRefGoogle Scholar
  16. 16.
    Yan, H., Van Gorp, P., et al.: Analyzing conformance to clinical protocols involving advanced synchronizations. In: IEEE Conference on Bioinformatics and Biomedicine (2013)Google Scholar
  17. 17.
    Yeh, H.-C., Hsiu, P.-C., et al.: APAMAT: a prescription algebra for medication authoring tool. In: IEEE Conference on Systems, Man and Cybernetics (2006)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  1. 1.Department of Computer ScienceUniversity of VictoriaVictoriaCanada
  2. 2.Department of Family PracticeUniversity of British ColumbiaVancouverCanada

Personalised recommendations