{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,27]],"date-time":"2026-04-27T14:19:03Z","timestamp":1777299543101,"version":"3.51.4"},"reference-count":71,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,1,31]],"date-time":"2018-01-31T00:00:00Z","timestamp":1517356800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1007\/s10458-018-9382-3","type":"journal-article","created":{"date-parts":[[2018,1,31]],"date-time":"2018-01-31T03:15:43Z","timestamp":1517368543000},"page":"349-386","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Type checking for protocol role enactments via commitments"],"prefix":"10.1007","volume":"32","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9294-0408","authenticated-orcid":false,"given":"Matteo","family":"Baldoni","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2070-0616","authenticated-orcid":false,"given":"Cristina","family":"Baroglio","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4023-6379","authenticated-orcid":false,"given":"Federico","family":"Capuzzimati","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9336-0651","authenticated-orcid":false,"given":"Roberto","family":"Micalizio","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,1,31]]},"reference":[{"key":"9382_CR1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1086.001.0001","volume-title":"Actors: A model of concurrent computation in distributed systems","author":"G Agha","year":"1986","unstructured":"Agha, G. (1986). Actors: A model of concurrent computation in distributed systems. Cambridge, MA: MIT Press."},{"key":"9382_CR2","doi-asserted-by":"crossref","unstructured":"Aldrich, J., Sunshine, J., Saini, D., & Sparks, Z. (2009). Typestate-oriented programming. In S.\u00a0Arora, & G.\u00a0T. Leavens (Eds.) Companion to the 24th annual ACM SIGPLAN conference on object-oriented programming, systems, languages, and applications, OOPSLA 2009, October 25\u201329, 2009, Orlando, Florida, USA (pp. 1015\u20131022). ACM.","DOI":"10.1145\/1639950.1640073"},{"key":"9382_CR3","doi-asserted-by":"crossref","unstructured":"Ancona, D., Briola, D., El\u00a0Fallah-Seghrouchni, A., Mascardi, V., & Taillibert, P. (2014). Efficient verification of MASs with projections. In F.\u00a0Dalpiaz, J.\u00a0Dix, & M.\u00a0B. van Riemsdijk, (Eds.) Engineering multi-agent systems\u2014Second International Workshop, EMAS 2014, Paris, France, May 5\u20136, 2014, Revised Selected Papers, vol. 8758 of Lecture Notes in Computer Science (pp. 246\u2013270). Springer.","DOI":"10.1007\/978-3-319-14484-9_13"},{"key":"9382_CR4","unstructured":"Ancona, D., Briola, D., Ferrando, A., & Mascardi, V. (2015) Global protocols as first class entities for self-adaptive agents. In G.\u00a0Weiss, P.\u00a0Yolum, R.\u00a0H. Bordini, & E.\u00a0Elkind (Eds.) Proceedings of the 2015 international conference on autonomous agents and multiagent systems, AAMAS 2015, Istanbul, Turkey, May 4\u20138, 2015 (pp. 1019\u20131029). ACM."},{"key":"9382_CR5","doi-asserted-by":"crossref","unstructured":"Ancona, D., Drossopoulou, S., & Mascardi., V. (2013). Automatic generation of self-monitoring mass from multiparty global session types in jason. In M. Baldoni, L. Dennis, V. Mascardi, & W. Vasconcelos (Eds.), Declarative agent languages and technologies X vol. 7784 of Lecture Notes in Computer Science (pp. 76\u201395). Berlin, Heidelberg: Springer.","DOI":"10.1007\/978-3-642-37890-4_5"},{"issue":"4","key":"9382_CR6","doi-asserted-by":"publisher","first-page":"23:1","DOI":"10.1145\/2677206","volume":"14","author":"M Baldoni","year":"2014","unstructured":"Baldoni, M., Baroglio, C., & Capuzzimati, F. (2014). A commitment-based infrastructure for programming socio-technical systems. ACM Transactions on Internet Technology, 14(4), 23:1\u201323:23.","journal-title":"ACM Transactions on Internet Technology"},{"key":"9382_CR7","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., & Capuzzimati, F. (2014). Typing multi-agent systems via commitments. In F.\u00a0Dalpiaz, J.\u00a0Dix, & M.\u00a0B. van Riemsdijk (Eds.) Post-proceedings of the 2nd international workshop on engineering multi-agent systems, EMAS 2014, revised selected and invited papers, vol. 8758 in LNAI (pp. 388\u2013405). Springer.","DOI":"10.1007\/978-3-319-14484-9_20"},{"key":"9382_CR8","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., & Micalizio, R. (2015). Empowering agent coordination with social engagement. In M. Gavanelli, E. Lamma, & F. Riguzzi (Eds.), AI*IA 2015: Advances in artificial intelligence, XIV international conference of the Italian association for artificial intelligence, vol. 9336 of LNAI(pp. 89\u2013101). Ferrara, Italy, Springer.","DOI":"10.1007\/978-3-319-24309-2_7"},{"key":"9382_CR9","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., & Micalizio, R. Exploiting social commitments in programming agent interaction. In Q.\u00a0Chen, P.\u00a0Torroni, S.\u00a0Villata, J.\u00a0Y. Hsu, & A.\u00a0Omicini (Eds.) PRIMA 2015: Principles and practice of multi-agent systems, 18th international conference, vol. 9387 in Lecture Notes in Computer Science (pp. 566\u2013574). Bertinoro, Italy, October 26th\u201330th 2015. Springer.","DOI":"10.1007\/978-3-319-25524-8_39"},{"key":"9382_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.3233\/FI-2018-1656","volume":"157","author":"M Baldoni","year":"2018","unstructured":"Baldoni, M., Baroglio, C., Capuzzimati, F., & Micalizio, R. (2018). Commitment-based agent interaction in JaCaMo+. Fundamenta Informaticae, 157, 1\u201333.","journal-title":"Fundamenta Informaticae"},{"key":"9382_CR11","unstructured":"Baldoni, M., Baroglio, C., Chopra, A. K., Desai, N., Patti, V., & Singh, M.\u00a0P. (2009). Choice, interoperability, and conformance in interaction protocols and service choreographies. In Proceedings of the 8th international conference on autonomous agents and multiagent systems, AAMAS 2009 (pp. 843\u2013850). IFAAMAS."},{"key":"9382_CR12","unstructured":"Baldoni, M., Baroglio, C., Chopra, A. K., & Singh M.\u00a0P. (2015) Composing and verifying commitment-based multiagent protocols. In M.\u00a0Wooldridge & Q.\u00a0Yang (Eds.) Proceedings of 24th international joint conference on artificial intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25th\u201331th."},{"issue":"2","key":"9382_CR13","first-page":"22:1","volume":"4","author":"M Baldoni","year":"2013","unstructured":"Baldoni, M., Baroglio, C., Marengo, E., & Patti, V. (2013). Constitutive and regulative specifications of commitment protocols: A decoupled approach. ACM Transactions on Intelligent Systems and Technology, Special Issue on Agent Communication, 4(2), 22:1\u201322:25.","journal-title":"ACM Transactions on Intelligent Systems and Technology, Special Issue on Agent Communication"},{"key":"9382_CR14","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Baroglio, C., Martelli, A., & Patti, V. (2006). A priori conformance verification for guaranteeing interoperability in open environments. In A.\u00a0Dan & W.\u00a0Lamersdorf (Eds.) Proceedings of the 4th international conference on service oriented computing, ICSOC 2006, vol. 4294 of LNCS (pp. 339\u2013351). Chicago, USA: Springer.","DOI":"10.1007\/11948148_28"},{"key":"9382_CR15","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Boella, G., & van\u00a0der Torre, L. (2007). Interaction between Objects in powerjava. Journal of Object Technology, Special Issue OOPS Track at SAC 2006, 6(2)","DOI":"10.5381\/jot.2007.6.2.a1"},{"key":"9382_CR16","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Boella, G., & van\u00a0der Torre, L. (2007). Relationships Meet their Roles in Object Oriented Programming. In F.\u00a0Arbab, A.\u00a0Movaghar, J.\u00a0Rutten, and M.\u00a0Sirjani, editors, Proc. of the International Symposium on Fundamentals of Software Engineering, FSEN\u201907, vol. 4767 of Lecture Notes in Computer Science (LNCS), pages 440\u2013448, Tehran, Iran, April Springer","DOI":"10.1007\/978-3-540-75698-9_32"},{"key":"9382_CR17","doi-asserted-by":"crossref","unstructured":"Baldoni, M., Boella, G., & van\u00a0der Torre, L. (2009). The interplay between relationships, roles and objects. In F.\u00a0Arbab, H.\u00a0Sarbazi-azad, & M.\u00a0Sirjani (Eds.) Proceedings of the international conference on fundamentals of software engineering, FSEN\u201909, vol. 5961 of Lecture Notes in Computer Science (LNCS) (pp. 402\u2013415). Kish Island, Persian Gulf, Iran, Springer.","DOI":"10.1007\/978-3-642-11623-0_24"},{"key":"9382_CR18","doi-asserted-by":"crossref","unstructured":"Bellifemine, F., Bergenti, F., Caire, G., & Poggi, A. (2005). JADE\u2013A Java agent development framework. In R.\u00a0H. Bordini, M.\u00a0Dastani, J.\u00a0JDix, & A.\u00a0El\u00a0Fallah-Seghrouchni (Eds.) Multi-agent programming: Languages, platforms and applications, vol. 15 of multiagent systems, artificial societies, and simulated organizations (pp. 125\u2013147). Springer.","DOI":"10.1007\/0-387-26350-0_5"},{"issue":"3","key":"9382_CR19","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.knosys.2008.11.006","volume":"22","author":"J Bentahar","year":"2009","unstructured":"Bentahar, J., Meyer, J.-J. C., & Wan, W. (2009). Model checking communicative agent-based systems. Knowledge-Based Systems, 22(3), 142\u2013159.","journal-title":"Knowledge-Based Systems"},{"issue":"4","key":"9382_CR20","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1147\/sj.464.0703","volume":"46","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Caswell, N. S., Kumaran, S., Nigam, A., & Wu, F. Y. (2007). Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal, 46(4), 703\u2013721.","journal-title":"IBM Systems Journal"},{"issue":"3","key":"9382_CR21","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s10506-007-9030-8","volume":"15","author":"G Boella","year":"2007","unstructured":"Boella, G., & van der Torre, L. W. N. (2007). The ontological properties of social roles in multi-agent systems: Definitional dependence, powers and roles playing roles. Artificial Intelligence and Law Journal (AILaw), 15(3), 201\u2013221.","journal-title":"Artificial Intelligence and Law Journal (AILaw)"},{"issue":"6","key":"9382_CR22","doi-asserted-by":"publisher","first-page":"747","DOI":"10.1016\/j.scico.2011.10.004","volume":"78","author":"O Boissier","year":"2013","unstructured":"Boissier, O., Bordini, R. H., H\u00fcbner, J. F., Ricci, A., & Santi, A. (2013). Multi-agent oriented programming with JaCaMo. Science of Computer Programming, 78(6), 747\u2013761.","journal-title":"Science of Computer Programming"},{"key":"9382_CR23","doi-asserted-by":"crossref","unstructured":"Bordini, R. H., & H\u00fcbner, J. F. (2006). BDI agent programming in AgentSpeak using Jason. In F. Toni & P. Torroni (Eds.) Computational logic in multi-agent systems vol. 3900 of Lecture Notes in Computer Science (pp. 143\u2013164). Berlin, Heidelberg: Springer.","DOI":"10.1007\/11750734_9"},{"key":"9382_CR24","first-page":"163","volume-title":"Contemporary action theory: Social action","author":"C Castelfranchi","year":"1997","unstructured":"Castelfranchi, C. (1997). Principles of individual social action. In G. Holmstrom-Hintikka & R. Tuomela (Eds.), Contemporary action theory: Social action (Vol. 2, pp. 163\u2013192). Kluwer: Dordrecht."},{"key":"9382_CR25","doi-asserted-by":"publisher","first-page":"783","DOI":"10.1177\/001872677602900806","volume":"2","author":"A Cherns","year":"1976","unstructured":"Cherns, A. (1976). Principles of socio-technical design. Human Relations, 2, 783\u2013792.","journal-title":"Human Relations"},{"key":"9382_CR26","unstructured":"Chesani, F., Mello, P., Montali, M. & Torroni, P. (2010). Monitoring time-aware social commitments with reactive event calculus. In Proceedings of the 7th international symposium from agent theory to agent implementation (AT2AI-7)."},{"issue":"2","key":"9382_CR27","first-page":"546","volume":"42","author":"F Chesani","year":"2013","unstructured":"Chesani, F., Mello, P., Montali, M., & Torroni, P. (2013). Monitoring time-aware commitments within agent-based simulation environments. Cybernetics and Systems, 42(2), 546\u2013566.","journal-title":"Cybernetics and Systems"},{"issue":"1","key":"9382_CR28","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10458-012-9202-0","volume":"27","author":"F Chesani","year":"2013","unstructured":"Chesani, F., Mello, P., Montali, M., & Torroni, P. (2013). Representing and monitoring social commitments using the event calculus. Autonomous Agents and Multi-Agent Systems, 27(1), 85\u2013130.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"3","key":"9382_CR29","first-page":"3","volume":"32","author":"D Cohn","year":"2009","unstructured":"Cohn, D., & Richard, H. (2009). Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Engineering Bulletin, 32(3), 3\u20139.","journal-title":"IEEE Data Engineering Bulletin"},{"key":"9382_CR30","unstructured":"Colombetti, M., Fornara, N., & Verdicchio, M. (2002). The role of institutions in multiagent systems. In In Proceedings of the workshop on knowledge-based and reasoning agents, VIII Convegno AI*IA (pp. 118\u20132)."},{"key":"9382_CR31","doi-asserted-by":"crossref","unstructured":"Crafa, S., & Padovani, L. (2015). The chemical approach to typestate-oriented programming. In J.\u00a0Aldrich & P.\u00a0Eugster (Eds.) Proceedings of the 2015 ACM SIGPLAN international conference on object-oriented programming, systems, languages, and applications, OOPSLA 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25\u201330, 2015 (pp. 917\u2013934). ACM.","DOI":"10.1145\/2814270.2814287"},{"issue":"7\u20138","key":"9382_CR32","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/s00236-008-0079-y","volume":"45","author":"F Damiani","year":"2008","unstructured":"Damiani, F., Giachino, E., Giannini, P., & Drossopoulou, S. (2008). A type safe state abstraction for coordination in java-like languages. Acta Informatica, 45(7\u20138), 479\u2013536.","journal-title":"Acta Informatica"},{"issue":"2","key":"9382_CR33","doi-asserted-by":"publisher","first-page":"267","DOI":"10.7561\/SACS.2012.2.267","volume":"22","author":"F Damiani","year":"2012","unstructured":"Damiani, F., Giannini, P., Ricci, A., & Viroli, M. (2012). Standard type soundness for agents and artifacts. Scientific Annals of Computer Science, 22(2), 267\u2013326.","journal-title":"Scientific Annals of Computer Science"},{"key":"9382_CR34","doi-asserted-by":"crossref","unstructured":"Dastani, M., van Riemsdijk, M. B., Hulstijn, J., Dignum, F., & Meyer, J.-J. C. (2005). Enacting and deacting roles in agent programming. In J. Odell, P. Giorgini, & J. P. M\u00fcller (Eds.) Agent-oriented software engineering V, vol. 3382 of Lecture Notes in Computer Science (pp. 189\u2013204). Berlin, Heidelberg: Springer.","DOI":"10.1007\/978-3-540-30578-1_13"},{"key":"9382_CR35","unstructured":"Demazeau, Y. (1995). From interactions to collective behaviour in agent-based systems. In Proceedings of the 1st European conference on cognitive science, Saint-Malo."},{"key":"9382_CR36","doi-asserted-by":"crossref","unstructured":"Governatori, G. (2010). Law, logic and business processes. In Third international workshop on requirements engineering and law, RELAW 2010, Sydney, NSW, Australia, September 28, 2010 (pp. 1\u201310). IEEE.","DOI":"10.1109\/RELAW.2010.5625356"},{"key":"9382_CR37","doi-asserted-by":"crossref","unstructured":"Grigore, C., & Collier, R. (2011). Supporting agent systems in the programming language. In J.\u00a0F. H\u00fcbner, J.-M. Petit, & E.\u00a0Suzuki (Eds.) Web intelligence\/IAT workshops (pp. 9\u201312). IEEE Computer Society.","DOI":"10.1109\/WI-IAT.2011.174"},{"key":"9382_CR38","doi-asserted-by":"crossref","unstructured":"Grigore, C., & Collier, R.\u00a0W. (2011). AF-Raf: An agent-oriented programming language with algebraic data types. In SPLASH workshops (pp. 195\u2013200).","DOI":"10.1145\/2095050.2095081"},{"key":"9382_CR39","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1016\/0169-023X(92)90025-7","volume":"8","author":"N Guarino","year":"1992","unstructured":"Guarino, N. (1992). Concepts, attributes, and arbitrary relations\u2014Some linguistic and ontological criteria for structuring knowledge bases. Data & Knowledge Engineering, 8, 249\u2013261.","journal-title":"Data & Knowledge Engineering"},{"issue":"2","key":"9382_CR40","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1145\/503124.503150","volume":"45","author":"N Guarino","year":"2002","unstructured":"Guarino, N., & Welty, C. A. (2002). Evaluating ontological decisions with OntoClean. Communications of the ACM, 45(2), 61\u201365.","journal-title":"Communications of the ACM"},{"key":"9382_CR41","unstructured":"Howden, N., R\u00f6nnquist, R., Hodgson, A., & Lucas, A. (2001). JACK intelligent agents\u2014Summary of an agent infrastructure. In Proceedings of the 5th international conference on autonomous agents."},{"issue":"5","key":"9382_CR42","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1109\/MIS.2016.89","volume":"31","author":"\u00d6 Kafali","year":"2016","unstructured":"Kafali, \u00d6., Ajmeri, N., & Singh, M. P. (2016). Revani: Revising and verifying normative specifications for privacy. IEEE Intelligent Systems, 31(5), 8\u201315.","journal-title":"IEEE Intelligent Systems"},{"key":"9382_CR43","doi-asserted-by":"crossref","unstructured":"Kafali, \u00d6., Singh, M.\u00a0P., & Williams, L.\u00a0A. (2016). NANE: Identifying misuse cases using temporal norm enactments. In 24th IEEE international requirements engineering conference, RE 2016, Beijing, China, September 12\u201316, 2016 (pp. 136\u2013145).","DOI":"10.1109\/RE.2016.34"},{"issue":"10","key":"9382_CR44","doi-asserted-by":"publisher","first-page":"2724","DOI":"10.1109\/TKDE.2016.2583425","volume":"28","author":"N K\u00f6kciyan","year":"2016","unstructured":"K\u00f6kciyan, N., & Yolum, P. (2016). PriGuard: A semantic approach to detect privacy violations in online social networks. IEEE Transactions on Knowledge and Data Engineering, 28(10), 2724\u20132737.","journal-title":"IEEE Transactions on Knowledge and Data Engineering"},{"key":"9382_CR45","unstructured":"K\u00f6kciyan, N., & Yolum, P. (2016). Priguardtool: A tool for monitoring privacy violations in online social networks (demonstration). In C.\u00a0M. Jonker, S.\u00a0Marsella, J.\u00a0Thangarajah, & K.\u00a0Tuyls (Eds.) Proceedings of the 2016 international conference on autonomous agents & multiagent systems, Singapore, May 9\u201313, 2016 (pp. 1496\u20131497). ACM."},{"key":"9382_CR46","unstructured":"Marengo, E., Baldoni, M., Baroglio, C., Chopra, A.\u00a0K., Patti, V., & Singh, M.\u00a0P. (2011). Commitments with regulations: Reasoning about safety and control in REGULA. In K.\u00a0Tumer, P.\u00a0Yolum, L.\u00a0Sonenberg, & P.\u00a0Stone (Eds.) Proceedings of the 10th international conference on autonomous agents and multiagent systems, AAMAS 2011, vol.\u00a02 (pp. 467\u2013474). Taipei, Taiwan: IFAAMAS."},{"key":"9382_CR47","unstructured":"Masolo, C., Vieu, L., Bottazzi, E., Catenacci, C., Ferrario, R., Gangemi, A., & Guarino, N. (2004). Social roles and their descriptions. In D.\u00a0Dubois, C.\u00a0A. Welty, & M.\u00a0Williams (Eds.) Principles of knowledge representation and reasoning: proceedings of the ninth international conference (KR2004), Whistler, Canada, June 2\u20135, 2004 (pp. 267\u2013277). AAAI Press."},{"key":"9382_CR48","first-page":"99","volume-title":"Object-oriented software composition","year":"1995","unstructured":"Nierstrasz, O., & Tsichritzis, D. (Eds.). (1995). Object-oriented software composition (pp. 99\u2013121). Upper Saddle River: Prentice Hall."},{"issue":"3","key":"9382_CR49","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A Nigam","year":"2003","unstructured":"Nigam, A., & Caswell, N. S. (2003). Business artifacts: An approach to operational specification. IBM Systems Journal, 42(3), 428\u2013445.","journal-title":"IBM Systems Journal"},{"issue":"3","key":"9382_CR50","doi-asserted-by":"publisher","first-page":"432","DOI":"10.1007\/s10458-008-9053-x","volume":"17","author":"A Omicini","year":"2008","unstructured":"Omicini, A., Ricci, A., & Viroli, M. (2008). Artifacts in the A&A meta-model for multi-agent systems. Autonomous Agents and Multi-Agent Systems, 17(3), 432\u2013456.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"issue":"10","key":"9382_CR51","doi-asserted-by":"publisher","first-page":"917","DOI":"10.1002\/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F","volume":"12","author":"M Philippsen","year":"2000","unstructured":"Philippsen, M. (2000). A survey of concurrent object-oriented languages. Concurrency\u2014Practice and Experience, 12(10), 917\u2013980.","journal-title":"Concurrency\u2014Practice and Experience"},{"issue":"2","key":"9382_CR52","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/s10458-010-9140-7","volume":"23","author":"A Ricci","year":"2011","unstructured":"Ricci, A., Piunti, M., & Viroli, M. (2011). Environment programming in multi-agent systems: An artifact-based perspective. Autonomous Agents and Multi-Agent Systems, 23(2), 158\u2013192.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9382_CR53","doi-asserted-by":"crossref","unstructured":"Ricci, A., & Santi, A. (2012). From actors to agent-oriented programming abstractions in simpAL. In SPLASH workshops (pp. 73\u201374).","DOI":"10.1145\/2384716.2384745"},{"key":"9382_CR54","unstructured":"Ricci, A., & Santi, A. (2012). Typing multi-agent programs in simpAL. In M.\u00a0Dastani, J.\u00a0F. H\u00fcbner, & B.\u00a0Logan (Eds.) Programming multi-agent system, vol. 7837 of Lecture Notes in Computer Science (pp. 138\u2013157). Springer."},{"key":"9382_CR55","doi-asserted-by":"crossref","unstructured":"Ricci, A., & Santi, A. (2014). From actors and concurrent objects to agent-oriented programming in simpAL. In G.\u00a0Agha, A.\u00a0Igarashi, N.\u00a0Kobayashi, H.\u00a0Masuhara, S.\u00a0Matsuoka, E.\u00a0Shibayama, & K.\u00a0Taura (Eds.) Concurrent objects and beyond\u2014Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday, vol. 8665 of Lecture Notes in Computer Science (pp. 408\u2013445). Springer.","DOI":"10.1007\/978-3-662-44471-9_17"},{"issue":"1","key":"9382_CR56","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1016\/j.scico.2010.06.012","volume":"76","author":"A Ricci","year":"2011","unstructured":"Ricci, A., Viroli, M., & Piancastelli, G. (2011). simpA: An agent-oriented approach for programming concurrent applications on top of Java. Science of Computer Programming, 76(1), 37\u201362.","journal-title":"Science of Computer Programming"},{"key":"9382_CR57","doi-asserted-by":"crossref","unstructured":"Rumbaugh, J. (1987). Relations as semantic constructs in an object-oriented language. In Conference proceedings on object-oriented programming systems, languages and applications, OOPSLA \u201987 (pp. 466\u2013481). New York, NY, USA: ACM.","DOI":"10.1145\/38765.38850"},{"key":"9382_CR58","unstructured":"Santi, A., & Ricci, A. (2012). An eclipse-based IDE for agent-oriented programming in simpAL. In Proceedings of the seventh workshop of the Italian eclipse community."},{"issue":"1","key":"9382_CR59","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1023\/A:1008319631231","volume":"7","author":"MP Singh","year":"1999","unstructured":"Singh, M. P. (1999). An ontology for commitments in multiagent systems. Artificial Intelligence and Law Journal (AILaw), 7(1), 97\u2013113.","journal-title":"Artificial Intelligence and Law Journal (AILaw)"},{"key":"9382_CR60","doi-asserted-by":"crossref","unstructured":"Singh, M.\u00a0P. (2000). A social semantics for agent communication languages. In F.\u00a0Dignum & M.\u00a0Greaves (Eds.) Issues in agent communication, vol. 1916 of Lecture Notes in Computer Science (pp. 31\u201345). Springer.","DOI":"10.1007\/10722777_3"},{"key":"9382_CR61","doi-asserted-by":"crossref","unstructured":"Singh, M.\u00a0P. (2003). Distributed enactment of multiagent workflows: Temporal logic for web service composition. In Proceedings of the second international joint conference on autonomous agents & multiagent systems, AAMAS 2003, July 14\u201318, 2003, Melbourne, Victoria, Australia (pp. 907\u2013914). ACM.","DOI":"10.1145\/860575.860721"},{"key":"9382_CR62","volume-title":"Service-oriented computing\u2014Semantics, processes, agents","author":"M\u00a0P Singh","year":"2005","unstructured":"Singh, M\u00a0. P., & Huhns, M\u00a0. N. (2005). Service-oriented computing\u2014Semantics, processes, agents. New York: Wiley."},{"key":"9382_CR63","doi-asserted-by":"crossref","unstructured":"\u0160i\u0161l\u00e1k, D., Reh\u00e1k, M., P\u011bchou\u010dek, M., Rollo, M., & Pavl\u00ed\u010dek, D. (2005). A-globe: Agent development platform with inaccessibility and mobility support. In Software agent-based applications, platforms and development kits (pp. 21\u201346). Basel: Birkh\u00e4user.","DOI":"10.1007\/3-7643-7348-2_2"},{"key":"9382_CR64","volume-title":"Conceptual structures: Information processing in mind and machine","author":"JF Sowa","year":"1984","unstructured":"Sowa, J. F. (1984). Conceptual structures: Information processing in mind and machine. Boston, MA: Addison-Wesley Longman Publishing Co., Inc."},{"issue":"1","key":"9382_CR65","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1016\/S0169-023X(00)00023-9","volume":"35","author":"F Steimann","year":"2000","unstructured":"Steimann, F. (2000). On the representation of roles in object-oriented and conceptual modelling. Data & Knowledge Engineering, 35(1), 83\u2013106.","journal-title":"Data & Knowledge Engineering"},{"key":"9382_CR66","unstructured":"SUN Microsystems, Inc. JSR 175: a metadata facility for the Java programming language, 2002. https:\/\/jcp.org\/en\/jsr\/detail?id=175 ."},{"key":"9382_CR67","unstructured":"Telang, P.\u00a0R., Singh, M.\u00a0P., & Yorke-Smith, N. (2011). Relating goal and commitment semantics. In ProMAS, vol. 7217 of Lecture Notes in Computer Science (pp. 22\u201337). Springer."},{"issue":"1","key":"9382_CR68","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/s10458-006-0012-0","volume":"14","author":"D Weyns","year":"2007","unstructured":"Weyns, D., Omicini, A., & Odell, J. (2007). Environment as a first class abstraction in multiagent systems. Autonomous Agents and Multi-Agent Systems, 14(1), 5\u201330.","journal-title":"Autonomous Agents and Multi-Agent Systems"},{"key":"9382_CR69","doi-asserted-by":"crossref","unstructured":"Yolum, P., & Singh, M.\u00a0P. (2001). Designing and executing protocols using the event calculus. In Proceedings of the fifth international conference on autonomous agents, AGENTS \u201901 (pp. 27\u201328). New York, NY, USA: ACM.","DOI":"10.1145\/375735.375822"},{"key":"9382_CR70","doi-asserted-by":"crossref","unstructured":"Yolum, P., & Singh, M.\u00a0P. (2002). Commitment machines. In Intelligent agents VIII, 8th international workshop, ATAL 2001, vol. 2333 of LNCS (pp. 235\u2013247). Springer.","DOI":"10.1007\/3-540-45448-9_17"},{"key":"9382_CR71","unstructured":"Zapf, M., & Geihs (2000). What type is it? A type system for mobile agents. In 15th European meeting on cybernetics and systems research (EMCSR)"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10458-018-9382-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-018-9382-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10458-018-9382-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,26]],"date-time":"2020-10-26T11:10:31Z","timestamp":1603710631000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-018-9382-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,1,31]]},"references-count":71,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,5]]}},"alternative-id":["9382"],"URL":"https:\/\/doi.org\/10.1007\/s10458-018-9382-3","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,1,31]]},"assertion":[{"value":"31 January 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}