On the Specification and Monitoring of Timed Normative Systems
Paper in proceeding, 2021
In this article we explore different issues and design choices that arise when considering how to fully embrace timed aspects in the formalisation of normative systems, e.g., by using deontic modalities, looking primarily through the lens of monitoring. We primarily focus on expressivity and computational aspects, discussing issues such as duration, superposition, conflicts, attempts, discharge, and complexity, while identifying semantic choices which arise and the challenges these pose for full monitoring of legal contracts.
Author
Shaun Azzopardi
Chalmers, Computer Science and Engineering (Chalmers), Formal methods
University of Gothenburg
Gordon Pace
University of Malta
Fernando Schapachnik
Universidad de Buenos Aires
Gerardo Schneider
Data Science and AI
University of Gothenburg
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
03029743 (ISSN) 16113349 (eISSN)
Vol. 12974 LNCS 81-99978-303088493-2 (ISBN)
21st International Conference on Runtime Verification, RV 2021
Virtual, Online, USA,
Virtual, Online, USA,
Subject Categories (SSIF 2025)
Computer Sciences
DOI
10.1007/978-3-030-88494-9_5