{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:43:44Z","timestamp":1771026224422,"version":"3.50.1"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030514167","type":"print"},{"value":"9783030514174","type":"electronic"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-51417-4_3","type":"book-chapter","created":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T10:03:46Z","timestamp":1594375426000},"page":"43-64","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["On Enactability of Agent Interaction Protocols: Towards a Unified Approach"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Ferrando","sequence":"first","affiliation":[]},{"given":"Michael","family":"Winikoff","sequence":"additional","affiliation":[]},{"given":"Stephen","family":"Cranefield","sequence":"additional","affiliation":[]},{"given":"Frank","family":"Dignum","sequence":"additional","affiliation":[]},{"given":"Viviana","family":"Mascardi","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,7,11]]},"reference":[{"key":"3_CR1","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). \nhttps:\/\/doi.org\/10.1007\/978-3-642-37890-4_5"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Parametric trace expressions for runtime verification of Java-like programs. In: FTfJP@ECOOP, pp. 10:1\u201310:6. ACM (2017)","DOI":"10.1145\/3103111.3104037"},{"key":"3_CR3","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-319-94580-4_5","volume-title":"Advances in Practical Applications of Agents, Multi-Agent Systems, and Complexity: The PAAMS Collection","author":"D Ancona","year":"2018","unstructured":"Ancona, D., Ferrando, A., Franceschini, L., Mascardi, V.: Coping with bad agent interaction protocols when monitoring partially observable multiagent systems. In: Demazeau, Y., An, B., Bajo, J., Fern\u00e1ndez-Caballero, A. (eds.) PAAMS 2018. LNCS (LNAI), vol. 10978, pp. 59\u201371. Springer, Cham (2018). \nhttps:\/\/doi.org\/10.1007\/978-3-319-94580-4_5"},{"key":"3_CR4","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.) Theory and Practice of Formal Methods. LNCS, vol. 9660, pp. 47\u201364. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-30734-3_6"},{"key":"3_CR5","unstructured":"Ancona, D., Ferrando, A., Mascardi, V.: Agents interoperability via conformance modulo mapping. In: Cossentino, M., Sabatucci, L., Seidita, V. (eds.) Proceedings of the 19th Workshop \u201cFrom Objects to Agents\", CEUR Workshop Proceedings, Palermo, Italy, 28\u201329 June 2018, vol. 2215, pp. 109\u2013115. CEUR-WS.org (2018). \nhttp:\/\/ceur-ws.org\/Vol-2215\/paper_18.pdf"},{"key":"3_CR6","doi-asserted-by":"publisher","unstructured":"Autili, M., Tivoli, M.: Distributed enforcement of service choreographies. In: C\u00e1mara, J., Proen\u00e7a, J. (eds.) 13th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems (FOCLASA). Electronic Proceedings in Theoretical Computer Science (EPTCS), vol. 175, pp. 18\u201335 (2014). \nhttps:\/\/doi.org\/10.4204\/EPTCS.175.2","DOI":"10.4204\/EPTCS.175.2"},{"key":"3_CR7","doi-asserted-by":"publisher","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, Hoboken (2007)"},{"key":"3_CR8","series-title":"Wiley Series in Agent Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71956-4","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 Series in Agent Technology. Wiley, Hoboken (2007)"},{"issue":"2","key":"3_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1016\/j.ic.2017.08.013","volume":"259","author":"S Broda","year":"2018","unstructured":"Broda, S., Machiavelo, A., Moreira, N., Reis, R.: Automata for regular expressions with shuffle. Inf. Comput. 259(2), 162\u2013173 (2018)","journal-title":"Inf. Comput."},{"key":"3_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-540-71316-6_2","volume-title":"Programming Languages and Systems","author":"M Carbone","year":"2007","unstructured":"Carbone, M., Honda, K., Yoshida, N.: Structured communication-centred programming for web services. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 2\u201317. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-71316-6_2"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-21461-5_1","volume-title":"Formal Techniques for Distributed Systems","author":"G Castagna","year":"2011","unstructured":"Castagna, G., Dezani-Ciancaglini, M., Padovani, L.: On global types and multi-party sessions. In: Bruni, R., Dingel, J. (eds.) FMOODS\/FORTE -2011. LNCS, vol. 6722, pp. 1\u201328. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-21461-5_1"},{"issue":"5","key":"3_CR12","doi-asserted-by":"publisher","first-page":"847","DOI":"10.1007\/s00165-016-0379-x","volume":"28","author":"F Chevrou","year":"2016","unstructured":"Chevrou, F., Hurault, A., Qu\u00e9innec, P.: On the diversity of asynchronous communication. Form. Aspects Comput. 28(5), 847\u2013879 (2016). \nhttps:\/\/doi.org\/10.1007\/s00165-016-0379-x","journal-title":"Form. Aspects Comput."},{"key":"3_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/978-3-540-75183-0_22","volume-title":"Business Process Management","author":"G Decker","year":"2007","unstructured":"Decker, G., Weske, M.: Local enforceability in interaction petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305\u2013319. Springer, Heidelberg (2007). \nhttps:\/\/doi.org\/10.1007\/978-3-540-75183-0_22"},{"key":"3_CR14","unstructured":"Desai, N., Singh, M.P.: On the enactability of business protocols. In: Fox, D., Gomes, C.P. (eds.) Twenty-Third AAAI Conference on Artificial Intelligence, pp. 1126\u20131131. AAAI Press (2008). \nhttp:\/\/www.aaai.org\/Library\/AAAI\/2008\/aaai08-178.php"},{"key":"3_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1007\/978-3-319-50983-9_3","volume-title":"Engineering Multi-Agent Systems","author":"A Ferrando","year":"2016","unstructured":"Ferrando, A., Ancona, D., Mascardi, V.: Monitoring patients with hypoglycemia using self-adaptive protocol-driven agents: a case study. In: Baldoni, M., M\u00fcller, J.P., Nunes, I., Zalila-Wenkstern, R. (eds.) EMAS 2016. LNCS (LNAI), vol. 10093, pp. 39\u201358. Springer, Cham (2016). \nhttps:\/\/doi.org\/10.1007\/978-3-319-50983-9_3"},{"key":"3_CR16","unstructured":"Ferrando, A., Ancona, D., Mascardi, V.: Decentralizing MAS monitoring with DecAMon. In: Larson, K., Winikoff, M., Das, S., Durfee, E.H. (eds.) Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, AAMAS 2017, S\u00e3o Paulo, Brazil, 8\u201312 May 2017, pp. 239\u2013248. ACM (2017). \nhttp:\/\/dl.acm.org\/citation.cfm?id=3091164"},{"issue":"1\u20132","key":"3_CR17","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/j.artint.2002.12.001","volume":"153","author":"E Giunchiglia","year":"2004","unstructured":"Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artif. Intell. 153(1\u20132), 49\u2013104 (2004). \nhttps:\/\/doi.org\/10.1016\/j.artint.2002.12.001","journal-title":"Artif. Intell."},{"issue":"3","key":"3_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D Harel","year":"1987","unstructured":"Harel, D.: Statecharts: a visual formalism for complex systems. Sci. Comput. Program. 8(3), 231\u2013274 (1987). \nhttps:\/\/doi.org\/10.1016\/0167-6423(87)90035-9","journal-title":"Sci. Comput. Program."},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"122","DOI":"10.1007\/BFb0053567","volume-title":"Programming Languages and Systems","author":"K Honda","year":"1998","unstructured":"Honda, K., Vasconcelos, V.T., Kubo, M.: Language primitives and type discipline for structured communication-based programming. In: Hankin, C. (ed.) ESOP 1998. LNCS, vol. 1381, pp. 122\u2013138. Springer, Heidelberg (1998). \nhttps:\/\/doi.org\/10.1007\/BFb0053567"},{"key":"3_CR20","doi-asserted-by":"publisher","unstructured":"Honda, K., Yoshida, N., Carbone, M.: Multiparty asynchronous session types. In: Necula, G.C., Wadler, P. (eds.) 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL), pp. 273\u2013284. ACM (2008). \nhttps:\/\/doi.org\/10.1145\/1328438.1328472","DOI":"10.1145\/1328438.1328472"},{"key":"3_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-30578-1_2","volume-title":"Agent-Oriented Software Engineering V","author":"M-P Huget","year":"2005","unstructured":"Huget, M.-P., Odell, J.: Representing agent interaction protocols with agent UML. In: Odell, J., Giorgini, P., M\u00fcller, J.P. (eds.) AOSE 2004. LNCS, vol. 3382, pp. 16\u201330. Springer, Heidelberg (2005). \nhttps:\/\/doi.org\/10.1007\/978-3-540-30578-1_2"},{"issue":"7","key":"3_CR22","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978). \nhttps:\/\/doi.org\/10.1145\/359545.359563","journal-title":"Commun. ACM"},{"key":"3_CR23","doi-asserted-by":"publisher","unstructured":"Lanese, I., Guidi, C., Montesi, F., Zavattaro, G.: Bridging the gap between interaction- and process-oriented choreographies. In: Cerone, A., Gruner, S. (eds.) Sixth IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 323\u2013332. IEEE Computer Society (2008). \nhttps:\/\/doi.org\/10.1109\/SEFM.2008.11","DOI":"10.1109\/SEFM.2008.11"},{"issue":"3","key":"3_CR24","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. 9(3), 223\u2013252 (1977). \nhttps:\/\/doi.org\/10.1145\/356698.356702","journal-title":"ACM Comput. Surv."},{"key":"3_CR25","doi-asserted-by":"publisher","unstructured":"Poizat, P., Sala\u00fcn, G.: Checking the realizability of BPMN 2.0 choreographies. In: 27th Annual ACM Symposium on Applied Computing (SAC), pp. 1927\u20131934. ACM (2012). \nhttps:\/\/doi.org\/10.1145\/2245276.2232095","DOI":"10.1145\/2245276.2232095"},{"key":"3_CR26","series-title":"Multiagent Systems, Artificial Societies, and Simulated Organizations","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/0-387-26350-0_6","volume-title":"Multi-Agent Programming","author":"A Pokahr","year":"2005","unstructured":"Pokahr, A., Braubach, L., Lamersdorf, W.: Jadex: a BDI reasoning engine. In: Bordini, R.H., Dastani, M., Dix, J., El Fallah Seghrouchni, A. (eds.) Multi-Agent Programming. MSASSO, vol. 15, pp. 149\u2013174. Springer, Boston (2005). \nhttps:\/\/doi.org\/10.1007\/0-387-26350-0_6"},{"key":"3_CR27","doi-asserted-by":"publisher","unstructured":"Qiu, Z., Zhao, X., Cai, C., Yang, H.: Towards the theoretical foundation of choreography. In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) 16th International World Wide Web Conference (WWW), pp. 973\u2013982. ACM (2007). \nhttps:\/\/doi.org\/10.1145\/1242572.1242704","DOI":"10.1145\/1242572.1242704"},{"issue":"3","key":"3_CR28","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1109\/TSC.2011.9","volume":"5","author":"G Sala\u00fcn","year":"2012","unstructured":"Sala\u00fcn, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE Trans. Serv. Comput. 5(3), 290\u2013304 (2012). \nhttps:\/\/doi.org\/10.1109\/TSC.2011.9","journal-title":"IEEE Trans. Serv. Comput."},{"issue":"4","key":"3_CR29","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/1516507.1516510","volume":"31","author":"D Sangiorgi","year":"2009","unstructured":"Sangiorgi, D.: On the origins of bisimulation and coinduction. ACM Trans. Program. Lang. Syst. 31(4), 15:1\u201315:41 (2009). \nhttps:\/\/doi.org\/10.1145\/1516507.1516510","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"3_CR30","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"398","DOI":"10.1007\/3-540-58184-7_118","volume-title":"PARLE\u201994 Parallel Architectures and Languages Europe","author":"K Takeuchi","year":"1994","unstructured":"Takeuchi, K., Honda, K., Kubo, M.: An interaction-based language and its typing system. In: Halatsis, C., Maritsas, D., Philokyprou, G., Theodoridis, S. (eds.) PARLE 1994. LNCS, vol. 817, pp. 398\u2013413. Springer, Heidelberg (1994). \nhttps:\/\/doi.org\/10.1007\/3-540-58184-7_118"},{"key":"3_CR31","unstructured":"W3C: Web Services Choreography Description Language Version 1.0 (2005). \nhttps:\/\/www.w3.org\/TR\/ws-cdl-10\/"},{"issue":"1","key":"3_CR32","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/s10458-017-9373-9","volume":"32","author":"M Winikoff","year":"2017","unstructured":"Winikoff, M., Yadav, N., Padgham, L.: A new hierarchical agent protocol notation. Auton. Agents Multi-Agent Syst. 32(1), 59\u2013133 (2017). \nhttps:\/\/doi.org\/10.1007\/s10458-017-9373-9","journal-title":"Auton. Agents Multi-Agent Syst."}],"container-title":["Lecture Notes in Computer Science","Engineering Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-51417-4_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,10]],"date-time":"2020-07-10T10:25:10Z","timestamp":1594376710000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-51417-4_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030514167","9783030514174"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-51417-4_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"11 July 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"EMAS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Engineering Multi-Agent Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Montreal, QC","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 May 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 May 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"emas2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/cgi.csc.liv.ac.uk\/~lad\/emas2019\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"20","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"13","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"65% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}