On the Specification and Monitoring of Timed Normative Systems
Paper i 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.

Författare

Shaun Azzopardi

Chalmers, Data- och informationsteknik, Formella metoder

Göteborgs universitet

Gordon Pace

University of Malta

Fernando Schapachnik

Universidad de Buenos Aires

Gerardo Schneider

Data Science och AI

Göteborgs universitet

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-99
978-303088493-2 (ISBN)

21st International Conference on Runtime Verification, RV 2021
Virtual, Online, USA,

Ämneskategorier (SSIF 2025)

Datavetenskap (datalogi)

DOI

10.1007/978-3-030-88494-9_5

Mer information

Senast uppdaterat

2025-06-27