{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T05:36:12Z","timestamp":1743053772382,"version":"3.40.3"},"publisher-location":"Cham","reference-count":8,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031357336"},{"type":"electronic","value":"9783031357343"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"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":[[2023]]},"DOI":"10.1007\/978-3-031-35734-3_32","type":"book-chapter","created":{"date-parts":[[2023,6,18]],"date-time":"2023-06-18T08:01:20Z","timestamp":1687075280000},"page":"318-326","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Methodology for\u00a0Formal Modeling and\u00a0Evaluation of\u00a0the\u00a0Judicial Process"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Ambrisi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rocco","family":"Aversa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marta","family":"Maurino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salvatore","family":"Venticinque","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,6,19]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","unstructured":"Bhagya, T., Vasanthapriyan, S., Jayaweera, P.: Collaboration modelling framework for courts hearing workflow specification. Developing Country Stud. 4 (2014). https:\/\/doi.org\/10.1007\/s12652-021-03490-5","DOI":"10.1007\/s12652-021-03490-5"},{"key":"32_CR2","unstructured":"Capuzzimati, F., Violato, A., Baldoni, M., Boella, G., et al.: Business process management for legal domains: supporting execution and management of preliminary injunctions. In: JURIX, pp. 149\u2013152 (2015)"},{"key":"32_CR3","unstructured":"Casamonti, M.: La giustizia civile italiana resta la pi\u00f9 lenta d\u2019europa, ma c\u2019\u00e8 qualche miglioramento. Osservatorio sui Conti Pubblici Italiani (2020). https:\/\/osservatoriocpi.unicatt.it. osservatoriocpi@unicatt.it"},{"key":"32_CR4","unstructured":"Ciaghi, A., Weldemariam, K., Villafiorita, A., Kessler, F.: Law modeling with ontological support and BPMN: a case study. In: Proceedings of the Fifth International Conference on Digital Society-CYBERLAWS, pp. 29\u201334 (2011)"},{"key":"32_CR5","doi-asserted-by":"crossref","unstructured":"Di Martino, B., Colucci Cante, L., Esposito, A., Graziano, M.: A tool for the semantic annotation, validation and optimization of business process models. Softw.: Pract. Experience (2023)","DOI":"10.1002\/spe.3184"},{"key":"32_CR6","doi-asserted-by":"publisher","unstructured":"Di\u00a0Martino, B., Esposito, A., Colucci\u00a0Cante, L.: Multi agents simulation of justice trials to support control management and reduction of civil trials duration. J. Ambient Intell. Hum. Comput. (2021). https:\/\/doi.org\/10.1007\/s12652-021-03490-5","DOI":"10.1007\/s12652-021-03490-5"},{"key":"32_CR7","series-title":"Lecture Notes in Networks and Systems","doi-asserted-by":"publisher","first-page":"414","DOI":"10.1007\/978-3-031-08812-4_40","volume-title":"Complex, Intelligent and Software Intensive Systems","author":"B Di Martino","year":"2022","unstructured":"Di Martino, B., Graziano, M., Colucci Cante, L., Ferretti, G., De Oto, V.: A semantic representation for public calls domain and procedure: housing policies of Campania region case study. In: Barolli, L. (ed.) CISIS 2022. LNNS, vol. 497, pp. 414\u2013424. Springer, Cham (2022). https:\/\/doi.org\/10.1007\/978-3-031-08812-4_40"},{"key":"32_CR8","unstructured":"Fronzetti Colladon, A., Fig\u00e0-Talamanca, G.: Disegno, simulazione e business process re-engineering del processo civile di cognizione. Temi Romana (2008)"}],"container-title":["Lecture Notes on Data Engineering and Communications Technologies","Complex, Intelligent and Software Intensive Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35734-3_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,17]],"date-time":"2025-02-17T04:38:42Z","timestamp":1739767122000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35734-3_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031357336","9783031357343"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35734-3_32","relation":{},"ISSN":["2367-4512","2367-4520"],"issn-type":[{"type":"print","value":"2367-4512"},{"type":"electronic","value":"2367-4520"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"19 June 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CISIS","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Conference on Complex, Intelligent, and Software Intensive Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toronto Metropolitan University, ON","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":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"17","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"coisis2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/voyager.ce.fit.ac.jp\/conf\/cisis\/2023\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}