Please use this identifier to cite or link to this item:
/library/oar/handle/123456789/86691| 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. |
| URI: | https://www.um.edu.mt/library/oar/handle/123456789/86691 |
| Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| On_the_specification_and_monitoring_of_timed_normative_systems.pdf Restricted Access | 268.62 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.