Please use this identifier to cite or link to this item:
Title: On the specification and monitoring of timed normative systems
Authors: Azzopardi, Shaun
Pace, Gordon J.
Schapachnik, Fernando
Schneider, Gerardo
Keywords: Deontic logic
Normed linear spaces
Contracts -- Cases
Computer networks -- Monitoring
Issue Date: 2021
Publisher: Springer
Citation: Azzopardi, S., Pace, G., Schapachnik, F., & Schneider, G. (2021). On the specification and monitoring of timed normative systems. International Conference on Runtime Verification. 81-99.
Abstract: 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.
Appears in Collections:Scholarly Works - FacICTCS

Files in This Item:
File Description SizeFormat 
  Restricted Access
268.62 kBAdobe PDFView/Open Request a copy

Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.