{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T09:07:56Z","timestamp":1779354476805,"version":"3.51.4"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032267511","type":"print"},{"value":"9783032267528","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"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":[[2026]]},"DOI":"10.1007\/978-3-032-26752-8_9","type":"book-chapter","created":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T08:14:26Z","timestamp":1779351266000},"page":"145-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Specification and\u00a0Analysis of\u00a0Ethical Requirements in\u00a0Autonomous Systems Using Abstract State Machines"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9209-3624","authenticated-orcid":false,"given":"Patrizia","family":"Scandurra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9417-660X","authenticated-orcid":false,"given":"Martina","family":"De Sanctis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8908-6960","authenticated-orcid":false,"given":"Gianluca","family":"Filippone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6734-1318","authenticated-orcid":false,"given":"Paola","family":"Inverardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3154-2438","authenticated-orcid":false,"given":"Raffaela","family":"Mirandola","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5548-9806","authenticated-orcid":false,"given":"Sara","family":"Pettinari","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,5,22]]},"reference":[{"key":"9_CR1","doi-asserted-by":"publisher","first-page":"110558","DOI":"10.1016\/j.jss.2020.110558","volume":"164","author":"P Arcaini","year":"2020","unstructured":"Arcaini, P., Mirandola, R., Riccobene, E., Scandurra, P.: Msl: a pattern language for engineering self-adaptive systems. J. Syst. Softw. 164, 110558 (2020). https:\/\/doi.org\/10.1016\/j.jss.2020.110558","journal-title":"J. Syst. Softw."},{"key":"9_CR2","doi-asserted-by":"publisher","unstructured":"Arcaini, P., Riccobene, E., Scandurra, P.: Modeling and analyzing MAPE-K feedback loops for self-adaptation. In: Inverardi, P., Schmerl, B.R. (eds.) 10th IEEE\/ACM International Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS 2015, pp. 13\u201323. IEEE Computer Society (2015). https:\/\/doi.org\/10.1109\/SEAMS.2015.10","DOI":"10.1109\/SEAMS.2015.10"},{"key":"9_CR3","doi-asserted-by":"publisher","unstructured":"Bencomo, N., G\u00f6tz, S., Song, H.: Models@run.time: a guided tour of the state of the art and research challenges. Softw. Syst. Model. 18(5), 3049\u20133082 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00712-x","DOI":"10.1007\/s10270-018-00712-x"},{"key":"9_CR4","doi-asserted-by":"publisher","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Pellegrinelli, N., Scandurra, P.: Safety enforcement for autonomous driving on a simulated highway using asmeta models@run.time. In: Leuschel, M., Ishikawa, F. (eds.) Rigorous State-Based Methods - 11th International Conference, ABZ 2025. LNCS, vol. 15728, pp. 212\u2013230. Springer (2025). https:\/\/doi.org\/10.1007\/978-3-031-94533-5_13","DOI":"10.1007\/978-3-031-94533-5_13"},{"key":"9_CR5","doi-asserted-by":"publisher","unstructured":"Bombarda, A., Bonfanti, S., Gargantini, A., Riccobene, E., Scandurra, P.: ASMETA tool set for rigorous system design. In: Formal Methods - 26th International Symposium, FM 2024, Milan, Italy, 9\u201313 September 2024, Proceedings, Part II. LNCS, vol. 14934, pp. 492\u2013517. Springer (2024). https:\/\/doi.org\/10.1007\/978-3-031-71177-0_28","DOI":"10.1007\/978-3-031-71177-0_28"},{"key":"9_CR6","doi-asserted-by":"publisher","first-page":"111605","DOI":"10.1016\/J.JSS.2022.111605","volume":"198","author":"S Bonfanti","year":"2023","unstructured":"Bonfanti, S., Riccobene, E., Scandurra, P.: A component framework for the runtime enforcement of safety properties. J. Syst. Softw. 198, 111605 (2023). https:\/\/doi.org\/10.1016\/J.JSS.2022.111605","journal-title":"J. Syst. Softw."},{"key":"9_CR7","doi-asserted-by":"publisher","unstructured":"B\u00f6rger, E., St\u00e4rk, R.: Abstract State Machines. Springer, Heidelberg (2003). https:\/\/doi.org\/10.1007\/978-3-642-18216-7","DOI":"10.1007\/978-3-642-18216-7"},{"issue":"1","key":"9_CR8","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1093\/pq\/pqab013","volume":"72","author":"J Brunero","year":"2022","unstructured":"Brunero, J.: Reasons and defeasible reasoning. Philos. Q. 72(1), 41\u201364 (2022)","journal-title":"Philos. Q."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"Calinescu, R., Kikuchi, S.: Formal methods @ runtime. In: Calinescu, R., Jackson, E. (eds.) Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, pp. 122\u2013135. Springer, Heidelberg (2011)","DOI":"10.1007\/978-3-642-21292-5_7"},{"key":"9_CR10","unstructured":"De Sanctis, M., Filippone, G., Inverardi, P., Mirandola, R., Pettinari, S., Scandurra, P.: Online model artifact repository for Specification and Analysis of Ethical Requirements using ASMs (2026). https:\/\/github.com\/foselab\/ethical-requirements-asm, https:\/\/github.com\/foselab\/ethical-requirements-asm"},{"key":"9_CR11","doi-asserted-by":"publisher","unstructured":"De Sanctis, M., Filippone, G., Inverardi, P., Mirandola, R., Pettinari, S., Scandurra, P.: A process to enforce ethical requirements of autonomous systems at runtime. In: 21st IEEE\/ACM Symposium on Software Engineering for Adaptive and Self-Managing Systems, SEAMS@ICSE 2026. IEEE (2026). https:\/\/doi.org\/10.1145\/3788550.3794876","DOI":"10.1145\/3788550.3794876"},{"key":"9_CR12","doi-asserted-by":"publisher","unstructured":"Dignum, V.: Responsible AI and autonomous agents: Governance, ethics, and sustainable innovation. In: Proceedings of the 24th International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2025, pp.\u00a01\u20132. ACM (2025). https:\/\/doi.org\/10.5555\/3709347.3743508","DOI":"10.5555\/3709347.3743508"},{"key":"9_CR13","doi-asserted-by":"publisher","unstructured":"Feng, N., Marsso, L., Chechik, M.: Diagnosis via proofs of unsatisfiability for first-order logic with relational objects. In: Filkov, V., Ray, B., Zhou, M. (eds.) Proceedings of the 39th IEEE\/ACM International Conference on Automated Software Engineering, ASE 2024, Sacramento, CA, USA, October 27 - November 1, 2024, pp. 1521\u20131532. ACM (2024). https:\/\/doi.org\/10.1145\/3691620.3695522","DOI":"10.1145\/3691620.3695522"},{"issue":"3\u20134","key":"9_CR14","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1007\/S10515-009-0053-0","volume":"16","author":"A Gargantini","year":"2009","unstructured":"Gargantini, A., Riccobene, E., Scandurra, P.: A semantic framework for metamodel-based languages. Autom. Softw. Eng. 16(3\u20134), 415\u2013454 (2009). https:\/\/doi.org\/10.1007\/S10515-009-0053-0","journal-title":"Autom. Softw. Eng."},{"key":"9_CR15","doi-asserted-by":"publisher","first-page":"103118","DOI":"10.1016\/j.scico.2024.103118","volume":"236","author":"S Getir Yaman","year":"2024","unstructured":"Getir Yaman, S., Ribeiro, P., Burholt, C., Jones, M., Cavalcanti, A., Calinescu, R.: Toolkit for specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. Sci. Comput. Program. 236, 103118 (2024). https:\/\/doi.org\/10.1016\/j.scico.2024.103118","journal-title":"Sci. Comput. Program."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Horty, J.F.: Reasons as Defaults. Oxford University Press (2012)","DOI":"10.1093\/acprof:oso\/9780199744077.001.0001"},{"key":"9_CR17","doi-asserted-by":"crossref","unstructured":"Kephart, J.O., Chess, D.M.: The vision of autonomic computing. Computer 36(1) (2003)","DOI":"10.1109\/MC.2003.1160055"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Kolyakov, K., Marsso, L., Feng, N., Quan, J., Chechik, M.: Legos-sleec: tool for formalizing and analyzing normative requirements. In: International Conference on Software Engineering: Companion Proceedings (ICSE-C), pp. 33\u201336. IEEE (2025)","DOI":"10.1109\/ICSE-Companion66252.2025.00018"},{"key":"9_CR19","unstructured":"Mirani, M., Raimondi, F., Troquard, N.: Towards efficient norm-aware robots\u2019 decision making using datalog (short paper). In: Workshop on Bias, Ethical AI, Explainability and the role of Logic and Logic Programming co-located with the 23rd International Conference of the Italian Association for Artificial Intelligence (AIxIA 2024). CEUR Workshop Proceedings, vol.\u00a03881, pp. 50\u201359. CEUR-WS.org (2024). https:\/\/ceur-ws.org\/Vol-3881\/paper6.pdf"},{"issue":"5","key":"9_CR20","doi-asserted-by":"publisher","first-page":"3097","DOI":"10.1007\/s10270-018-00710-z","volume":"18","author":"A Miyazawa","year":"2019","unstructured":"Miyazawa, A., Ribeiro, P., Li, W., Cavalcanti, A., Timmis, J., Woodcock, J.: RoboChart: modelling and verification of the functional behaviour of robotic applications. Softw. Syst. Model. 18(5), 3097\u20133149 (2019). https:\/\/doi.org\/10.1007\/s10270-018-00710-z","journal-title":"Softw. Syst. Model."},{"key":"9_CR21","doi-asserted-by":"publisher","unstructured":"Radanliev, P.: Ai ethics: integrating transparency, fairness, and privacy in ai development. Appl. Artif. Intell. 39(1) (2025). https:\/\/doi.org\/10.1080\/08839514.2025.2463722","DOI":"10.1080\/08839514.2025.2463722"},{"key":"9_CR22","doi-asserted-by":"publisher","unstructured":"Scandurra, P., Arnoldi, A., Yue, T., Dolci, M.: Functional requirements validation by transforming use case models into abstract state machines. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, SAC 2012, pp. 1063\u20131068. ACM (2012). https:\/\/doi.org\/10.1145\/2245276.2231942","DOI":"10.1145\/2245276.2231942"},{"key":"9_CR23","doi-asserted-by":"publisher","first-page":"75269","DOI":"10.1109\/ACCESS.2022.3190975","volume":"10","author":"M Shahin","year":"2022","unstructured":"Shahin, M., Hussain, W., Nurwidyantoro, A., Perera, H., Shams, R., Grundy, J., Whittle, J.: Operationalizing human values in software engineering: a survey. IEEE Access 10, 75269\u201375295 (2022)","journal-title":"IEEE Access"},{"issue":"4","key":"9_CR24","doi-asserted-by":"publisher","first-page":"683","DOI":"10.1007\/s11023-022-09614-w","volume":"32","author":"B Townsend","year":"2022","unstructured":"Townsend, B., Paterson, C., Arvind, T.T., Nemirovsky, G., Calinescu, R., Cavalcanti, A., Habli, I., Thomas, A.: From pluralistic normative principles to autonomous-agent rules. Mind. Mach. 32(4), 683\u2013715 (2022). https:\/\/doi.org\/10.1007\/s11023-022-09614-w","journal-title":"Mind. Mach."},{"issue":"20","key":"9_CR25","doi-asserted-by":"publisher","first-page":"22385","DOI":"10.1609\/aaai.v38i20.30245","volume":"38","author":"N Troquard","year":"2024","unstructured":"Troquard, N., De Sanctis, M., Inverardi, P., Pelliccione, P., Scoccia, G.L.: Social, legal, ethical, empathetic, and cultural rules: compilation and reasoning. Proc. AAAI Conf. Artif. Intell. 38(20), 22385\u201322392 (2024). https:\/\/doi.org\/10.1609\/aaai.v38i20.30245","journal-title":"Proc. AAAI Conf. Artif. Intell."},{"key":"9_CR26","unstructured":"UNESCO: Recommendation on the ethics of artificial intelligence (2022). https:\/\/www.unesco.org\/en\/artificial-intelligence\/recommendation-ethics"},{"key":"9_CR27","doi-asserted-by":"publisher","first-page":"112229","DOI":"10.1016\/j.jss.2024.112229","volume":"220","author":"S Yaman","year":"2025","unstructured":"Yaman, S., Ribeiro, P., Cavalcanti, A., Calinescu, R., Paterson, C., Townsend, B.: Specification, validation and verification of social, legal, ethical, empathetic and cultural requirements for autonomous agents. J. Syst. Softw. 220, 112229 (2025). https:\/\/doi.org\/10.1016\/j.jss.2024.112229","journal-title":"J. Syst. Softw."},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"Yaman, S.G., Burholt, C., Jones, M., Calinescu, R., Cavalcanti, A.: Specification and validation of normative rules for autonomous agents. In: International Conference on Fundamental Approaches to Software Engineering, pp. 241\u2013248. Springer, Cham (2023)","DOI":"10.1007\/978-3-031-30826-0_13"}],"container-title":["Lecture Notes in Computer Science","Rigorous State-Based Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-26752-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,21]],"date-time":"2026-05-21T08:14:29Z","timestamp":1779351269000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-26752-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032267511","9783032267528"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-26752-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"22 May 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ABZ","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Rigorous State-Based Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Tokyo","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Japan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 May 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"abz2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/abz-conf.org\/site\/2026\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}