{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T13:12:18Z","timestamp":1754485938923,"version":"3.40.3"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783031057595"},{"type":"electronic","value":"9783031057601"}],"license":[{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,1,1]],"date-time":"2022-01-01T00:00:00Z","timestamp":1640995200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022]]},"DOI":"10.1007\/978-3-031-05760-1_20","type":"book-chapter","created":{"date-parts":[[2022,5,13]],"date-time":"2022-05-13T07:03:06Z","timestamp":1652425386000},"page":"338-353","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Contratto \u2013 A Method for Transforming Legal Contracts into Formal Specifications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-8519-1034","authenticated-orcid":false,"given":"Michele","family":"Soavi","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-1296-0140","authenticated-orcid":false,"given":"Nicola","family":"Zeni","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8698-3292","authenticated-orcid":false,"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0018-6883","authenticated-orcid":false,"given":"Luisa","family":"Mich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,5,14]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Lamport, L.: Who builds a house without drawing blueprints? Commun. ACM 58, 38\u201341 (2015)","DOI":"10.1145\/2736348"},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleo: a specification language for Smart Contracts. In: 28th IEEE Requirements Engineering Conference, RE@Next track, Zurich (2020)","DOI":"10.1109\/RE48521.2020.00049"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Kiyavitskaya, N., Zeni, N., Breaux, T.D., Ant\u00f3n, A.I., Cordy, J.R., Mich, L., Mylopoulos, J.: Automating the extraction of rights and obligations for regulatory compliance. In: 27th International Conference on Conceptual Modelling (ER), pp. 154\u2013168 (2008)","DOI":"10.1007\/978-3-540-87877-3_13"},{"issue":"1","key":"20_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00766-013-0181-8","volume":"20","author":"N Zeni","year":"2013","unstructured":"Zeni, N., Kiyavitskaya, N., Mich, L., Cordy, J.R., Mylopoulos, J.: GaiusT: supporting the extraction of rights and obligations for regulatory compliance. Requir. Eng. 20(1), 1\u201322 (2013). https:\/\/doi.org\/10.1007\/s00766-013-0181-8","journal-title":"Requir. Eng."},{"key":"20_CR5","doi-asserted-by":"crossref","unstructured":"Zeni, N., Seid, E., Engiels, P., Ingolfo, S., Mylopoulos, J.: NomosT: building large models of law through a tool-supported process. Data Knowl. Eng. (DKE), 117, 407\u2013418 (2018)","DOI":"10.1016\/j.datak.2018.04.009"},{"key":"20_CR6","unstructured":"Soavi, M., Zeni, N., Mylopoulos, J., Mich, L.: From legal contracts to formal specifications:\na progress report. In: Joint Proceedings of REFSQ-2021 Workshops, OpenRE, Posters and Tools Track, and Doctoral Symposium, http:\/\/ceur-ws.org, vol. 1613, p. 0073 (2020)"},{"key":"20_CR7","doi-asserted-by":"crossref","unstructured":"Soavi, M., Zeni, N., Mylopoulos, J., Mich, L.: ContracT \u2013 from legal contracts to formal specifications: preliminary results. In: 13th International Working Conference on the Practice of Enterprise Modelling (PoEM) (2020)","DOI":"10.1007\/978-3-030-63479-7_9"},{"issue":"4","key":"20_CR8","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1093\/ijl\/3.4.235","volume":"3","author":"G Miller","year":"1990","unstructured":"Miller, G., Beckwith, R., Fellbaum, C., Gross, D., Miller, K.: Introduction to WordNet: an on-line lexical database. Int. J. Lexicogr. 3(4), 235\u2013244 (1990)","journal-title":"Int. J. Lexicogr."},{"key":"20_CR9","unstructured":"Narayana, S., Fillmore, C., Baker, C., Petruck M.: FrameNet meets the semantic web: a DAML+OIL frame representation. In: 18th National Conference on Artificial Intelligence, Edmonton, Alberta (2002)"},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Clack, C.D.: Languages for Smart and computable contracts. ArXiv preprint arXiv:2104.03764 (2021)","DOI":"10.1093\/oso\/9780192858467.003.0013"},{"key":"20_CR11","unstructured":"Sennet, A.: Ambiguity. The Stanford Encyclopedia of Philosophy. https:\/\/plato.stanford.edu\/archives\/fall2021\/entries\/ambiguity\/. Accessed 27 Jan 2022"},{"key":"20_CR12","unstructured":"Mich, L., Garigliano, R.: Ambiguity measures in requirement engineering. In: International Conference on Software Theory and Practice (ICS) (2000)"},{"issue":"3","key":"20_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/s00766-008-0063-7","volume":"13","author":"N Kiyavitskaya","year":"2008","unstructured":"Kiyavitskaya, N., Zeni, N., Mich, L., Berry, D.M.: Requirements for tools for ambiguity identification and measurement in natural language requirements specifications. Requir. Eng. 13(3), 207\u2013239 (2008)","journal-title":"Requir. Eng."},{"key":"20_CR14","first-page":"7","volume":"753","author":"DM Berry","year":"2012","unstructured":"Berry, D.M., Kamsties, E.: Ambiguity in requirements. Perspect. Softw. Requir. 753, 7 (2012)","journal-title":"Perspect. Softw. Requir."},{"key":"20_CR15","doi-asserted-by":"publisher","unstructured":"Quaresma, P., Gon\u00e7alves, T.: Using linguistic information and machine learning techniques to identify entities from juridical documents. In: Francesconi, E., Montemagni, S., Peters, W., Tiscornia, D. (eds.) Semantic Processing of Legal Texts. LNCS, vol. 6036, pp. 44\u201359. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12837-0_3","DOI":"10.1007\/978-3-642-12837-0_3"},{"key":"20_CR16","doi-asserted-by":"crossref","unstructured":"Breaux, T.D., Ant\u00f3n, A.I.: Analyzing goal semantics for rights, permissions, and obligations. In: 13th IEEE International Conference on Requirements Engineering (RE) (2005)","DOI":"10.1109\/RE.2005.12"},{"key":"20_CR17","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2020.103357","volume":"124","author":"G Fantoni","year":"2021","unstructured":"Fantoni, G., Coli, E., Chiarello, F., Apreda, R., Dell\u2019Orletta, F., Pratelli, G.: Text mining tool for translating terms of contract into technical specifications: development and application in the railway sector. Comput. Ind. 124, 103357 (2021)","journal-title":"Comput. Ind."},{"key":"20_CR18","doi-asserted-by":"crossref","unstructured":"Libal, T., Pascucci, M.: Automated reasoning in normative detachment structures with ideal conditions. In: 17th International Conference on Artificial Intelligence and Law (2019)","DOI":"10.1145\/3322640.3326707"},{"key":"20_CR19","doi-asserted-by":"crossref","unstructured":"Chalkidis, I., Androutsopoulos, I.: A deep learning approach to contract element extraction. JURIX (2017)","DOI":"10.1145\/3086512.3086515"},{"key":"20_CR20","doi-asserted-by":"crossref","unstructured":"Griffo, C., Almeida, J.P.A., Guizzardi, G., Nardi, J.C.: From an ontology of service contracts to contract modeling in enterprise architecture. In: 21st International Enterprise Distributed Object Computing Conference (EDOC), pp. 40\u201349. IEEE (2017)","DOI":"10.1109\/EDOC.2017.15"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Fischbach, J., Frattini, J., Spaans, A., Kummeth, M., Vogelsang, A., Mendez, D., Unterkalmsteiner, M.: Automatic detection of causality in requirement artifacts: the CiRA approach. In: International Working Conference on Requirements Engineering: Foundation for Software Quality, pp. 19\u201336. Springer, Cham (2021)","DOI":"10.1007\/978-3-030-73128-1_2"},{"key":"20_CR22","doi-asserted-by":"crossref","unstructured":"Moens, M. F., Boiy, E., Palau, R.M., Reed, C.: Automatic detection of arguments in legal texts. In: Proceedings of the 11th International Conference on Artificial Intelligence and Law, pp. 225\u2013230 (2007)","DOI":"10.1145\/1276318.1276362"},{"key":"20_CR23","doi-asserted-by":"crossref","unstructured":"Sleimi, A., Ceci, M., Sabetzadeh, M., Briand, L. C., Dann, J.: Automated recommendation of templates for legal requirements. In: IEEE 28th International Requirements Engineering Conference (RE), pp. 158\u2013168. IEEE (2020)","DOI":"10.1109\/RE48521.2020.00027"},{"key":"20_CR24","doi-asserted-by":"publisher","unstructured":"Corcho, O., Fern\u00e1ndez-L\u00f3pez, M., G\u00f3mez-P\u00e9rez, A., L\u00f3pez-Cima, A.: Building legal ontologies with METHONTOLOGY and WebODE. In: Benjamins, V.R., Casanovas, P., Breuker, J., Gangemi, A. (eds.) Law and the Semantic Web. LNCS, vol. 3369, pp. 142\u2013157. Springer, Heidelberg (2005). https:\/\/doi.org\/10.1007\/978-3-540-32253-5_9","DOI":"10.1007\/978-3-540-32253-5_9"},{"key":"20_CR25","doi-asserted-by":"publisher","unstructured":"Francesconi, E., Montemagni, S., Peters, W., Tiscornia, D.: Integrating a bottom\u2013up and top\u2013down methodology for building semantic resources for the multilingual legal domain. In: Francesconi, E., Montemagni, S., Peters, W., Tiscornia, D. (eds.) Semantic Processing of Legal Texts. LNCS, vol. 6036. Springer, Heidelberg (2010). https:\/\/doi.org\/10.1007\/978-3-642-12837-0_6","DOI":"10.1007\/978-3-642-12837-0_6"},{"issue":"04","key":"20_CR26","doi-asserted-by":"publisher","first-page":"659","DOI":"10.1142\/S0218843006001529","volume":"15","author":"G Governatori","year":"2006","unstructured":"Governatori, G., Milosevic, Z.: A formal analysis of a business contract language. Int. J. Coop. Inf. Syst. 15(04), 659\u2013685 (2006)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Dwivedi, V., Norta, A., Wulf, A., Leiding, B., Saxena, S., Udokwu, C.: A formal specification smart-contract language for legally binding decentralized autonomous organizations. IEEE Access 9, 76069\u201376082 (2021)","DOI":"10.1109\/ACCESS.2021.3081926"},{"key":"20_CR28","doi-asserted-by":"crossref","unstructured":"He, X., Qin, B., Zhu, Y., Chen, X., Liu, Y.: SPESC: a specification language for smart contracts. In: 42nd Annual Computer Software and Applications Conference (COMPSAC), vol. 1, pp. 132\u2013137. IEEE (2018)","DOI":"10.1109\/COMPSAC.2018.00025"},{"key":"20_CR29","doi-asserted-by":"crossref","unstructured":"Maxwell, J.C., Ant\u00f3n, A.I.: Developing production rule models to aid in acquiring requirements from legal texts. In: 17th IEEE International Requirements Engineering Conference. IEEE (2009)","DOI":"10.1109\/RE.2009.21"},{"key":"20_CR30","doi-asserted-by":"crossref","unstructured":"Chalkidis, I., Fergadiotis, M., Malakasiotis, P., Aletras, N., Androutsopoulos, I.: LEGAL-BERT: the muppets straight out of law school. ArXiv [cs.CL] (2020)","DOI":"10.18653\/v1\/2020.findings-emnlp.261"},{"key":"20_CR31","doi-asserted-by":"crossref","unstructured":"Koreeda, Y., Manning, C.D.: ContractNLI: a dataset for document-level natural language inference for contracts. ArXiv [cs.CL] (2021)","DOI":"10.18653\/v1\/2021.findings-emnlp.164"},{"key":"20_CR32","unstructured":"Devlin, J., Chang, M.-W., Lee, K., Toutanova, K.: BERT: pre-training of deep bidirectional transformers for language understanding. ArXiv [cs.CL] (2019)"}],"container-title":["Lecture Notes in Business Information Processing","Research Challenges in Information Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-05760-1_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,12]],"date-time":"2024-03-12T15:46:36Z","timestamp":1710258396000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-05760-1_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022]]},"ISBN":["9783031057595","9783031057601"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-05760-1_20","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2022]]},"assertion":[{"value":"14 May 2022","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"RCIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Research Challenges in Information Science","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2022","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17 May 2022","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 May 2022","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"rcis2022","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.rcis-conf.com\/rcis2022\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}