{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T22:22:19Z","timestamp":1743114139721,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319211442"},{"type":"electronic","value":"9783319211459"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-21145-9_13","type":"book-chapter","created":{"date-parts":[[2015,7,16]],"date-time":"2015-07-16T10:55:04Z","timestamp":1437044104000},"page":"205-220","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Using Graph Transformations for Formalizing Prescriptions and Monitoring Adherence"],"prefix":"10.1007","author":[{"given":"Jens H.","family":"Weber","sequence":"first","affiliation":[]},{"given":"Simon","family":"Diemert","sequence":"additional","affiliation":[]},{"given":"Morgan","family":"Price","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,7,17]]},"reference":[{"key":"13_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"361","DOI":"10.1007\/11787044_27","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"C Amelunxen","year":"2006","unstructured":"Amelunxen, C., K\u00f6nigs, A., R\u00f6tschke, T., Sch\u00fcrr, A.: MOFLON: a standard-compliant metamodeling framework with graph transformations. In: Rensink, A., Warmer, J. (eds.) ECMDA-FA 2006. LNCS, vol. 4066, pp. 361\u2013375. Springer, Heidelberg (2006)"},{"key":"13_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"82","DOI":"10.1007\/978-3-540-89020-1_7","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"FP Andr\u00e9s","year":"2008","unstructured":"Andr\u00e9s, F.P., de Lara, J., Guerra, E.: Domain specific languages with graphical and textual views. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 82\u201397. Springer, Heidelberg (2008)"},{"key":"13_CR3","doi-asserted-by":"crossref","unstructured":"Brown, M.T., Bussell, J.K.: Medication adherence: who cares? In: Mayo Clinic Proceedings, vol. 86, pp. 304\u2013314. Elsevier (2011)","DOI":"10.4065\/mcp.2010.0575"},{"issue":"2","key":"13_CR4","doi-asserted-by":"publisher","first-page":"225","DOI":"10.2298\/CSIS110114012B","volume":"8","author":"BR Bryant","year":"2011","unstructured":"Bryant, B.R., Gray, J., et al.: Challenges and directions in formalizing the semantics of modeling languages. Comp. Sci. Inform. Sys. 8(2), 225\u2013253 (2011)","journal-title":"Comp. Sci. Inform. Sys."},{"key":"13_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/3-540-45923-5_12","volume-title":"Fundamental Approaches to Software Engineering","author":"J de Lara","year":"2002","unstructured":"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\u2013188. Springer, Heidelberg (2002)"},{"key":"13_CR6","first-page":"125","volume":"208","author":"S Diemert","year":"2015","unstructured":"Diemert, S., Richardson, K., et al.: SmartMed: a medication management system to improve adherence. Stud. Health Technol. Inform. 208, 125\u2013130 (2015)","journal-title":"Stud. Health Technol. Inform."},{"issue":"1","key":"13_CR7","first-page":"187","volume":"148","author":"R Heckel","year":"2006","unstructured":"Heckel, R.: Graph transformation in a nutshell. ENTCS 148(1), 187\u2013198 (2006)","journal-title":"ENTCS"},{"key":"13_CR8","unstructured":"Ruttan, J.: OSCAR. In: The Architecture of Open Source Applications. Structure, Scale and a Few More Fearless Hacks, vol. II (2012)"},{"key":"13_CR9","volume-title":"Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers","author":"L Lamport","year":"2002","unstructured":"Lamport, L.: Specifying Systems: The TLA+ Language and Tools for Hardware and Software Engineers. Addison-Wesley Longman Publishing Co. Inc., Amsterdam (2002)"},{"issue":"4","key":"13_CR10","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/1118890.1118892","volume":"37","author":"M Mernik","year":"2005","unstructured":"Mernik, M., Heering, J.J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Comput. Surv. (CSUR) 37(4), 316\u2013344 (2005)","journal-title":"ACM Comput. Surv. (CSUR)"},{"issue":"3","key":"13_CR11","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"JL Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri nets. ACM Comput. Surv. (CSUR) 9(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"13_CR12","volume-title":"An introduction to formal specification and Z","author":"B Potter","year":"1996","unstructured":"Potter, B., Till, D., Sinclair, J.: An introduction to formal specification and Z. Prentice Hall PTR, Upper Saddle River (1996)"},{"key":"13_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: a tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479\u2013485. Springer, Heidelberg (2004)"},{"key":"13_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004)"},{"issue":"2","key":"13_CR15","doi-asserted-by":"publisher","first-page":"538","DOI":"10.1016\/j.dss.2012.10.011","volume":"55","author":"U Varshney","year":"2013","unstructured":"Varshney, U.: Smart medication management system and multiple interventions for medication adherence. Decis. Support Syst. 55(2), 538\u2013551 (2013)","journal-title":"Decis. Support Syst."},{"key":"13_CR16","doi-asserted-by":"crossref","unstructured":"Yan, H., Van Gorp, P., et al.: Analyzing conformance to clinical protocols involving advanced synchronizations. In: IEEE Conference on Bioinformatics and Biomedicine (2013)","DOI":"10.1109\/BIBM.2013.6732601"},{"key":"13_CR17","doi-asserted-by":"crossref","unstructured":"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)","DOI":"10.1109\/ICSMC.2006.384807"}],"container-title":["Lecture Notes in Computer Science","Graph Transformation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-21145-9_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T09:39:24Z","timestamp":1676972364000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-21145-9_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319211442","9783319211459"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-21145-9_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"17 July 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}