Abstract
Juridical systems are inherently complex, since they address numerous and critical processes that are regulated by several laws and regulations. Furthermore, such regulations change with more or less frequency, thus provoking the evolution of the entire Juridical system. In order to adequately regulate a sophisticated system, it is imperative to establish and utilize models as well as to monitor the system’s progression. In this paper, historical logs of Trials are used to build model that can be used to keep track of the regulation changes, and their effect on the Juridical system, through the years. In particular, the formalism provided by Finite State Machines will be used to represent the information extracted from the logs, and to provide a homogeneous model.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Agostinelli, S., Chiariello, F., Maggi, F.M., Marrella, A., Patrizi, F.: Process mining meets model learning: discovering deterministic finite state automata from event logs for business process analysis. Inf. Syst. 114, 102180 (2023)
Di Martino, B., et al.: A big data pipeline and machine learning for uniform semantic representation of data and documents from it systems of the Italian ministry of justice. Int. J. Grid High Perform. Comput. (IJGHPC) 14(1), 1–31 (2022)
Di Martino, B., Colucci Cante, L., Esposito, A., Lupi, P., Orlando, M.: Supporting the optimization of temporal key performance indicators of Italian courts of justice with OLAP techniques. In: Barolli, L., Yim, K., Enokido, T. (eds.) CISIS 2021. LNNS, vol. 278, pp. 646–656. Springer, Cham (2021). https://doi.org/10.1007/978-3-030-79725-6_65
Di Martino, B., Esposito, A., Cante, L.C.: Multi agents simulation of justice trials to support control management and reduction of civil trials duration. J. Ambient Intell. Humaniz. Comput. 1–13 (2021)
Hopcroft, J.E., Motwani, R., Ullman, J.D.: Introduction to automata theory, languages, and computation. ACM SIGACT News 32(1), 60–65 (2001)
Di Martino, B., Cante, L.C., Esposito, A., Lupi, P., Orlando, M.: Temporal outlier analysis of online civil trial cases based on graph and process mining techniques. Int. J. Big Data Intell. 8(1), 31–46 (2021)
Sipser, M.: Introduction to the theory of computation. ACM SIGACT News 27(1), 27–29 (1996)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG
About this paper
Cite this paper
Branco, D., Cante, L.C., di Martino, B., Esposito, A., De Lisi, V. (2023). Towards the Reconstruction of the Evolutionary Behaviour of Finite State Machines in the Juridical Domain. In: Barolli, L. (eds) Complex, Intelligent and Software Intensive Systems. CISIS 2023. Lecture Notes on Data Engineering and Communications Technologies, vol 176. Springer, Cham. https://doi.org/10.1007/978-3-031-35734-3_34
Download citation
DOI: https://doi.org/10.1007/978-3-031-35734-3_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-031-35733-6
Online ISBN: 978-3-031-35734-3
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)