{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,22]],"date-time":"2026-09-22T10:45:34Z","timestamp":1790073934217,"version":"4.0.1"},"publisher-location":"Cham","reference-count":36,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319509822","type":"print"},{"value":"9783319509839","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-50983-9_3","type":"book-chapter","created":{"date-parts":[[2016,12,15]],"date-time":"2016-12-15T12:40:14Z","timestamp":1481805614000},"page":"39-58","source":"Crossref","is-referenced-by-count":5,"title":["Monitoring Patients with Hypoglycemia Using Self-adaptive Protocol-Driven Agents: A Case Study"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Ferrando","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Davide","family":"Ancona","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,12,16]]},"reference":[{"key":"3_CR1","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-319-39387-2_2","volume-title":"Highlights of Practical Applications of Scalable Multi-Agent Systems. The PAAMS Collection","author":"F Aielli","year":"2016","unstructured":"Aielli, F., Ancona, D., Caianiello, P., Costantini, S., Gasperis, G.D., Marco, A.D., Ferrando, A., Mascardi, V.: FRIENDLY & KIND with your health: human-friendly knowledge-intensive dynamic systems for the e-health domain. In: Bajo, J., et al. (eds.) PAAMS 2016. CCIS, vol. 616, pp. 15\u201326. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-39387-2_2"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Barbieri, M., Mascardi, V.: Constrained global types for dynamic checking of protocol conformance in multi-agent systems. In: Proceedings of SAC 2013, pp. 1377\u20131379 (2013)","DOI":"10.1145\/2480362.2480620"},{"key":"3_CR3","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Global protocols as first class entities for self-adaptive agents. In: Proceedings of AAMAS 2015, pp. 1019\u20131029 (2015)"},{"issue":"2","key":"3_CR4","doi-asserted-by":"crossref","first-page":"131","DOI":"10.3233\/IA-150084","volume":"9","author":"D Ancona","year":"2015","unstructured":"Ancona, D., Briola, D., Ferrando, A., Mascardi, V.: Runtime verification of fail-uncontrolled and ambient intelligence systems: a uniform approach. Intelligenza Artificiale 9(2), 131\u2013148 (2015)","journal-title":"Intelligenza Artificiale"},{"issue":"3\u20134","key":"3_CR5","doi-asserted-by":"crossref","first-page":"221","DOI":"10.3233\/FI-2015-1252","volume":"140","author":"D Ancona","year":"2015","unstructured":"Ancona, D., Dovier, A.: A theoretical perspective of coinductive logic programming. Fundamenta Informaticae 140(3\u20134), 221\u2013246 (2015)","journal-title":"Fundamenta Informaticae"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-37890-4_5","volume-title":"Declarative Agent Languages and Technologies X","author":"D Ancona","year":"2013","unstructured":"Ancona, D., Drossopoulou, S., Mascardi, V.: Automatic generation of self-monitoring MASs from multiparty global session types in Jason. In: Baldoni, M., Dennis, L., Mascardi, V., Vasconcelos, W. (eds.) DALT 2012. LNCS (LNAI), vol. 7784, pp. 76\u201395. Springer, Heidelberg (2013). doi: 10.1007\/978-3-642-37890-4_5"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-30734-3_6","volume-title":"Theory and Practice of Formal Methods","author":"D Ancona","year":"2016","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Comparing trace expressions and linear temporal logic for runtime verification. In: \u00c1brah\u00e1m, E., Bonsangue, M., Johnsen, E.B. (eds.) Essays Dedicated to Frank de Boer on the Occasion of His 60th Birthday. LNCS, vol. 9660, pp. 47\u201364. Springer, Heidelberg (2016). doi: 10.1007\/978-3-319-30734-3_6"},{"key":"3_CR8","series-title":"Whitestein Series in Software Agent Technologies and Autonomic Computing","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-7643-8547-7","volume-title":"Agent Technology and e-Health","author":"R Annicchiarico","year":"2008","unstructured":"Annicchiarico, R., Corts, U., Urdiales, C.: Agent Technology and e-Health. Whitestein Series in Software Agent Technologies and Autonomic Computing, 1st edn. Birkhuser, Basel (2008)","edition":"1"},{"issue":"1","key":"3_CR9","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1370\/afm.4","volume":"1","author":"EA Bayliss","year":"2003","unstructured":"Bayliss, E.A., Steiner, J.F., Fernald, D.H., Crane, L.A., Main, D.S.: Descriptions of barriers to self-care by persons with comorbid chronic diseases. Ann. Family Med. 1(1), 15\u201321 (2003)","journal-title":"Ann. Family Med."},{"key":"3_CR10","doi-asserted-by":"crossref","DOI":"10.1002\/9780470058411","volume-title":"Developing Multi-Agent Systems with JADE","author":"FL Bellifemine","year":"2007","unstructured":"Bellifemine, F.L., Caire, G., Greenwood, D.: Developing Multi-Agent Systems with JADE. Wiley, Chichester (2007)"},{"issue":"4","key":"3_CR11","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jehmc.2010100101","volume":"1","author":"F Bergenti","year":"2010","unstructured":"Bergenti, F., Poggi, A.: Developing smart emergency applications with multi-agent systems. Int. J. E Health Med. Comm. 1(4), 1\u201313 (2010)","journal-title":"Int. J. E Health Med. Comm."},{"key":"3_CR12","volume-title":"Programming Multi-Agent Systems in AgentSpeak Using Jason","author":"RH Bordini","year":"2007","unstructured":"Bordini, R.H., H\u00fcbner, J.F., Wooldridge, M.: Programming Multi-Agent Systems in AgentSpeak Using Jason. Wiley, Chichester (2007)"},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-642-11808-1_7","volume-title":"Knowledge Representation for Health-Care. Data, Processes and Guidelines","author":"A Bottrighi","year":"2010","unstructured":"Bottrighi, A., Chesani, F., Mello, P., Montali, M., Montani, S., Storari, S., Terenziani, P.: Analysis of the GLARE and GPROVE approaches to clinical guidelines. In: Ria\u00f1o, D., Teije, A., Miksch, S., Peleg, M. (eds.) KR4HC 2009. LNCS (LNAI), vol. 5943, pp. 76\u201387. Springer, Heidelberg (2010). doi: 10.1007\/978-3-642-11808-1_7"},{"issue":"1","key":"3_CR14","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1016\/j.ijmedinf.2006.01.003","volume":"76","author":"N Bricon-Souf","year":"2007","unstructured":"Bricon-Souf, N., Newman, C.R.: Context awareness in health care: a review. Int. J. Med. Inf. 76(1), 2\u201312 (2007)","journal-title":"Int. J. Med. Inf."},{"issue":"1","key":"3_CR15","doi-asserted-by":"crossref","first-page":"427","DOI":"10.1109\/TII.2012.2219061","volume":"9","author":"Y Cao","year":"2013","unstructured":"Cao, Y., Yu, W., Ren, W., Chen, G.: An overview of recent progress in the study of distributed multi-agent coordination. IEEE Trans. Ind. Inf. 9(1), 427\u2013438 (2013)","journal-title":"IEEE Trans. Ind. Inf."},{"key":"3_CR16","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1049\/iet-com:20060646","volume":"2","author":"V Chan","year":"2008","unstructured":"Chan, V., Ray, P., Parameswaran, N.: Mobile e-health monitoring: an agent-based approach. IET Commun. 2, 223\u2013230 (2008)","journal-title":"IET Commun."},{"issue":"10","key":"3_CR17","doi-asserted-by":"crossref","first-page":"2142","DOI":"10.1109\/TCYB.2014.2366204","volume":"45","author":"S Chen","year":"2015","unstructured":"Chen, S., Ho, D.W., Li, L., Liu, M.: Fault-tolerant consensus of multi-agent system with distributed adaptive protocol. IEEE Trans. Cybern. 45(10), 2142\u20132155 (2015)","journal-title":"IEEE Trans. Cybern."},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"338","DOI":"10.1007\/11875604_39","volume-title":"Foundations of Intelligent Systems","author":"F Chesani","year":"2006","unstructured":"Chesani, F., Matteis, P., Mello, P., Montali, M., Storari, S.: A framework for defining and verifying clinical guidelines: a case study on cancer screening. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 338\u2013343. Springer, Heidelberg (2006). doi: 10.1007\/11875604_39"},{"key":"3_CR19","unstructured":"Ferrando, A.: Parametric protocol-driven agents and their integration in JADE. In: Proceedings of CILC (2015)"},{"issue":"32","key":"3_CR20","first-page":"51","volume":"2","author":"M Furmankiewicz","year":"2014","unstructured":"Furmankiewicz, M., So\u0142tysik-Piorunkiewicz, A., Ziuzia\u0144ski, P.: Artificial intelligence and multi-agent software for e-health knowledge management system. Informatyka Ekonomiczna - Business Informatics 2(32), 51\u201362 (2014)","journal-title":"Informatyka Ekonomiczna - Business Informatics"},{"issue":"4","key":"3_CR21","doi-asserted-by":"crossref","first-page":"357","DOI":"10.1023\/A:1010084620690","volume":"2","author":"KV Hindriks","year":"1999","unstructured":"Hindriks, K.V., de Boer, F.S., van der Hoek, W., Meyer, J.C.: Agent programming in 3APL. Auton. Agents Multi Agent Syst. 2(4), 357\u2013401 (1999)","journal-title":"Auton. Agents Multi Agent Syst."},{"issue":"4","key":"3_CR22","doi-asserted-by":"crossref","first-page":"281","DOI":"10.1017\/S0269888905000317","volume":"19","author":"B Horling","year":"2005","unstructured":"Horling, B., Lesser, V.: A survey of multi-agent organizational paradigms. Knowl. Eng. Rev. 19(4), 281\u2013316 (2005)","journal-title":"Knowl. Eng. Rev."},{"issue":"2","key":"3_CR23","doi-asserted-by":"crossref","first-page":"43: 1","DOI":"10.1007\/s10916-015-0376-2","volume":"40","author":"D Isern","year":"2016","unstructured":"Isern, D., Moreno, A.: A systematic literature review of agents applied in healthcare. J. Med. Syst. 40(2), 43: 1\u201343: 14 (2016)","journal-title":"J. Med. Syst."},{"issue":"1","key":"3_CR24","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1023\/A:1010090405266","volume":"1","author":"NR Jennings","year":"1998","unstructured":"Jennings, N.R., Sycara, K.P., Wooldridge, M.: A roadmap of agent research and development. Auton. Agents Multi Agent Syst. 1(1), 7\u201338 (1998)","journal-title":"Auton. Agents Multi Agent Syst."},{"issue":"3","key":"3_CR25","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1007\/s10462-011-9228-8","volume":"37","author":"Y Jung","year":"2012","unstructured":"Jung, Y., Kim, M., Masoumzadeh, A., Joshi, J.B.: A survey of security issue in multi-agent systems. Artif. Intell. Rev. 37(3), 239\u2013260 (2012)","journal-title":"Artif. Intell. Rev."},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Korstanje, R., Brom, C., Gemrot, J., Hindriks, K.V.: A comparative study of programming agents in POSH and GOAL. In: Proceedings of ICAART 2016, pp. 192\u2013203. SciTePress (2016)","DOI":"10.5220\/0005799601920203"},{"key":"3_CR27","unstructured":"Lesser, V., Ortiz Jr., C.L., Tambe, M.: Distributed sensor networks: a multiagent perspective, vol. 9. Springer Science & Business Media (2012)"},{"key":"3_CR28","unstructured":"Mascardi, V., Ancona, D.: Attribute global types for dynamic checking of protocols in logic-based multiagent systems. TPLP 13(4-5-Online-Supplement) (2013)"},{"issue":"1","key":"3_CR29","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1089\/tmj.2005.11.63","volume":"11","author":"S Meystre","year":"2005","unstructured":"Meystre, S.: The current state of telemonitoring: a comment on the literature. Telemed. J. e Health 11(1), 63\u201369 (2005)","journal-title":"Telemed. J. e Health"},{"issue":"3","key":"3_CR30","doi-asserted-by":"crossref","first-page":"178","DOI":"10.1089\/bfm.2006.1.178","volume":"1","author":"N Wight","year":"2006","unstructured":"Wight, N., Marinelli, K.A.: ABM clinical protocol #1: guidelines for blood glucose monitoring and treatment of hypoglycemia in term and late-preterm neonates. Breastfeed. Med. 1(3), 178\u2013184 (2006)","journal-title":"Breastfeed. Med."},{"key":"3_CR31","unstructured":"Nunes, I., Choren, R., Nunes, C., F\u00e1bri, B., Silva, F., de Carvalho, G.R., de Lucena, C.J.P.: Supporting prenatal care in the public healthcare system in a newly industrialized country. In: Proceedings of AAMAS 2010, pp. 1723\u20131730 (2010)"},{"issue":"1","key":"3_CR32","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1002\/int.20513","volume":"27","author":"D Rosaci","year":"2012","unstructured":"Rosaci, D., Sarn\u00e9, G.M., Garruzzo, S.: Integrating trust measures in multiagent systems. Int. J. Intell. Syst. 27(1), 1\u201315 (2012)","journal-title":"Int. J. Intell. Syst."},{"issue":"4","key":"3_CR33","doi-asserted-by":"crossref","first-page":"15: 1","DOI":"10.1145\/1516507.1516510","volume":"31","author":"D Sangiorgi","year":"2009","unstructured":"Sangiorgi, D.: On the origins of bisimulation, coinduction. ACM Trans. Program. Lang. Syst. 31(4), 15: 1\u201315: 41 (2009)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR34","unstructured":"Schwaibold, M., Gmelin, M., von Wagner, G., Sch\u00f6chlin, J., Bolz, A.: Key factors for personal health monitoring and diagnosis device. In: Mobile Computing in Medicine, vol. 15 of LNI, pp. 143\u2013150. GI (2002)"},{"key":"3_CR35","doi-asserted-by":"crossref","unstructured":"Shakshuki, E.M., Reid, M.: Multi-agent system applications in healthcare: current technology and future roadmap. In: Proceedings of ANT 2015, vol. 52 of Procedia Computer Science, pp. 252\u2013261. Elsevier (2015)","DOI":"10.1016\/j.procs.2015.05.071"},{"issue":"2","key":"3_CR36","doi-asserted-by":"crossref","first-page":"204","DOI":"10.1055\/s-0038-1634052","volume":"45","author":"B Smith","year":"2006","unstructured":"Smith, B., Pisanelli, D.M., Gangemi, A., Stefanelli, M.: Clinical guidelines as plans - an ontological theory. Methods Inf. Med. 45(2), 204\u2013210 (2006)","journal-title":"Methods Inf. Med."}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50983-9_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,16]],"date-time":"2019-09-16T15:39:40Z","timestamp":1568648380000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50983-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319509822","9783319509839"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50983-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]}}}