{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T17:26:09Z","timestamp":1743096369992,"version":"3.40.3"},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030634780"},{"type":"electronic","value":"9783030634797"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"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":[[2020]]},"DOI":"10.1007\/978-3-030-63479-7_9","type":"book-chapter","created":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T08:02:56Z","timestamp":1605600176000},"page":"124-137","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["ContracT \u2013 from Legal Contracts to Formal Specifications: Preliminary Results"],"prefix":"10.1007","author":[{"given":"Michele","family":"Soavi","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Zeni","sequence":"additional","affiliation":[]},{"given":"John","family":"Mylopoulos","sequence":"additional","affiliation":[]},{"given":"Luisa","family":"Mich","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,11,18]]},"reference":[{"key":"9_CR1","unstructured":"Alexy, R., Rivers, J., Rivers, P.: A Theory of Constitutional Rights. Oxford University Press (2002). https:\/\/books.google.it\/books?id=4G1U8JMSJDcC"},{"key":"9_CR2","first-page":"25","volume":"9","author":"T Allen","year":"1996","unstructured":"Allen, T., Widdison, R.: Can computers make contracts? Harvard J. Law Technol. 9, 25\u201352 (1996)","journal-title":"Harvard J. Law Technol."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Chalkidis, I., Androutsopoulos, I., Michos, A.: Extracting contract elements. In: Proceedings of the 16th edition of the International Conference on Artificial Intelligence and Law, pp. 19\u201328. ACM (2017)","DOI":"10.1145\/3086512.3086515"},{"key":"9_CR4","unstructured":"Clack, C.D., Bakshi, V.A., Braine, L.: Smart contract templates: essential requirements and design options (2016). http:\/\/arxiv.org\/abs\/1612.04496"},{"key":"9_CR5","volume-title":"Model Checking","author":"EM Clarke","year":"2018","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2018)"},{"key":"9_CR6","doi-asserted-by":"crossref","unstructured":"Dalpiaz, F., Cardoso, E., Canobbio, G., Giorgini, P., Mylopoulos, J.: Social specifications of business processes with Azzurra. In: 2015 IEEE 9th International Conference on Research Challenges in Information Science (RCIS), pp. 7\u201318. IEEE (2015)","DOI":"10.1109\/RCIS.2015.7128859"},{"issue":"4","key":"9_CR7","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/s10506-018-9223-3","volume":"26","author":"G Governatori","year":"2018","unstructured":"Governatori, G., Idelberger, F., Milosevic, Z., Riveret, R., Sartor, G., Xu, X.: On legal contracts, imperative and declarative smart contracts, and blockchain systems. Artif. Intell. Law 26(4), 377\u2013409 (2018). https:\/\/doi.org\/10.1007\/s10506-018-9223-3","journal-title":"Artif. Intell. Law"},{"issue":"04","key":"9_CR8","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":"9_CR9","unstructured":"Griffo, C., Almeida, J.P.A., Guizzardi, G.: Towards a legal core ontology based on Alexy\u2019s theory of fundamental rights. In: Multilingual Workshop on Artificial Intelligence and Law, ICAIL (2015)"},{"key":"9_CR10","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: 2017 IEEE 21st International Enterprise Distributed Object Computing Conference (EDOC), pp. 40\u201349. IEEE (2017)","DOI":"10.1109\/EDOC.2017.15"},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"Griffo, C., Almeida, J.P.A., Guizzardi, G., Nardi, J.C.: Service contract modeling in enterprise architecture: an ontology-based approach. Inf. Syst. 101454 (2019)","DOI":"10.1016\/j.is.2019.101454"},{"key":"9_CR12","volume-title":"Foundations of Statistical Natural Language Processing","author":"C Manning","year":"1999","unstructured":"Manning, C., Schutze, H.: Foundations of Statistical Natural Language Processing. MIT Press, Cambridge (1999)"},{"key":"9_CR13","doi-asserted-by":"publisher","first-page":"263","DOI":"10.1016\/j.is.2015.01.012","volume":"54","author":"JC Nardi","year":"2015","unstructured":"Nardi, J.C., et al.: A commitment-based reference ontology for services. Inf. Syst. 54, 263\u2013288 (2015)","journal-title":"Inf. Syst."},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"Pejovic, C.: Civil law and common law: two different paths leading to the same goal. Victoria University of Wellington Law Review 817 32(3), 7\u201332 (2001). http:\/\/www.nzlii.org\/nz\/journals\/VUWLawRw\/2001\/42.html","DOI":"10.26686\/vuwlr.v32i3.5873"},{"issue":"3","key":"9_CR15","doi-asserted-by":"publisher","first-page":"423","DOI":"10.1007\/s10817-018-09508-6","volume":"64","author":"R Sebastiani","year":"2020","unstructured":"Sebastiani, R., Trentin, P.: OptiMathSAT: a tool for optimization modulo theories. J. Autom. Reas. 64(3), 423\u2013460 (2020)","journal-title":"J. Autom. Reas."},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"Sharifi, S., Parvizimosaed, A., Amyot, D., Logrippo, L., Mylopoulos, J.: Symboleo: towards a specification language for legal contracts. In: 2020 IEEE 28th International Requirements Engineering Conference (RE), pp. 364\u2013369. IEEE, August 2020","DOI":"10.1109\/RE48521.2020.00049"},{"key":"9_CR17","doi-asserted-by":"publisher","unstructured":"Sleimi, A., Sannier, N., Sabetzadeh, M., Briand, L., Dann, J.: Automated extraction of semantic legal metadata using natural language processing. In: 2018 IEEE 26th International Requirements Engineering Conference (RE), pp. 124\u2013135, August 2018. https:\/\/doi.org\/10.1109\/RE.2018.00022","DOI":"10.1109\/RE.2018.00022"},{"key":"9_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/1-4020-3037-1","volume-title":"Knowledge Discovery from Legal Databases","author":"A Stranieri","year":"2011","unstructured":"Stranieri, A., Zeleznikow, J.: Knowledge Discovery from Legal Databases, vol. 69. Springer, Dordrecht (2011). https:\/\/doi.org\/10.1007\/1-4020-3037-1"},{"key":"9_CR19","unstructured":"Szabo, N.: Smart contracts: building blocks for digital markets. EXTROPY J. Transhumanist Thought 18(16), 2 (1996)"},{"issue":"1","key":"9_CR20","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s00766-013-0181-8","volume":"20","author":"N Zeni","year":"2015","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 (2015). https:\/\/doi.org\/10.1007\/s00766-013-0181-8","journal-title":"Requir. Eng."},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1016\/j.datak.2018.04.009","volume":"117","author":"N Zeni","year":"2018","unstructured":"Zeni, N., Seid, E., Engiel, P., Mylopoulos, J.: N\u00f3most: building large models of law with a tool-supported process. Data Knowl. Eng. 117, 407\u2013418 (2018)","journal-title":"Data Knowl. Eng."}],"container-title":["Lecture Notes in Business Information Processing","The Practice of Enterprise Modeling"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63479-7_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,11,17]],"date-time":"2024-11-17T00:04:26Z","timestamp":1731801866000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63479-7_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030634780","9783030634797"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63479-7_9","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"18 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"PoEM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"IFIP Working Conference on The Practice of Enterprise Modeling","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Riga","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Latvia","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"poem2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/poem2020.rtu.lv\/","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":"58","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":"19","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":"7","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":"33% - 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":"3","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":"3","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)"}}]}}