On the Specification and Monitoring of Timed Normative Systems. Azzopardi, S., Pace, G., Schapachnik, F., & Schneider, G. In Feng, L. & Fisman, D., editors, Runtime Verification (RV), pages 81–99, Cham, 2021. Springer International Publishing. ![On the Specification and Monitoring of Timed Normative Systems [link]](https://bibbase.org/img/filetypes/link.svg "link")
Paper abstract bibtex 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.
@inproceedings{rv21,
author="Azzopardi, Shaun
and Pace, Gordon
and Schapachnik, Fernando
and Schneider, Gerardo",
editor="Feng, Lu
and Fisman, Dana",
title="On the Specification and Monitoring of Timed Normative Systems",
booktitle="Runtime Verification (RV)",
year="2021",
publisher="Springer International Publishing",
address="Cham",
pages="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.",
isbn="978-3-030-88494-9",
url="https://gupea.ub.gu.se/bitstream/handle/2077/74148/309362.pdf?sequence=1"
}
Downloads: 0
{"_id":"pCLt5WF8jZRXpcv3a","bibbaseid":"azzopardi-pace-schapachnik-schneider-onthespecificationandmonitoringoftimednormativesystems-2021","author_short":["Azzopardi, S.","Pace, G.","Schapachnik, F.","Schneider, G."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Azzopardi"],"firstnames":["Shaun"],"suffixes":[]},{"propositions":[],"lastnames":["Pace"],"firstnames":["Gordon"],"suffixes":[]},{"propositions":[],"lastnames":["Schapachnik"],"firstnames":["Fernando"],"suffixes":[]},{"propositions":[],"lastnames":["Schneider"],"firstnames":["Gerardo"],"suffixes":[]}],"editor":[{"propositions":[],"lastnames":["Feng"],"firstnames":["Lu"],"suffixes":[]},{"propositions":[],"lastnames":["Fisman"],"firstnames":["Dana"],"suffixes":[]}],"title":"On the Specification and Monitoring of Timed Normative Systems","booktitle":"Runtime Verification (RV)","year":"2021","publisher":"Springer International Publishing","address":"Cham","pages":"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.","isbn":"978-3-030-88494-9","url":"https://gupea.ub.gu.se/bitstream/handle/2077/74148/309362.pdf?sequence=1","bibtex":"@inproceedings{rv21,\nauthor=\"Azzopardi, Shaun\nand Pace, Gordon\nand Schapachnik, Fernando\nand Schneider, Gerardo\",\neditor=\"Feng, Lu\nand Fisman, Dana\",\ntitle=\"On the Specification and Monitoring of Timed Normative Systems\",\nbooktitle=\"Runtime Verification (RV)\",\nyear=\"2021\",\npublisher=\"Springer International Publishing\",\naddress=\"Cham\",\npages=\"81--99\",\nabstract=\"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.\",\nisbn=\"978-3-030-88494-9\",\nurl=\"https://gupea.ub.gu.se/bitstream/handle/2077/74148/309362.pdf?sequence=1\"\n}\n\n","author_short":["Azzopardi, S.","Pace, G.","Schapachnik, F.","Schneider, G."],"editor_short":["Feng, L.","Fisman, D."],"key":"rv21","id":"rv21","bibbaseid":"azzopardi-pace-schapachnik-schneider-onthespecificationandmonitoringoftimednormativesystems-2021","role":"author","urls":{"Paper":"https://gupea.ub.gu.se/bitstream/handle/2077/74148/309362.pdf?sequence=1"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://raw.githubusercontent.com/shaunazzopardi/shaunazzopardi.github.io/master/pubs.bib","dataSources":["mtLriRvYqkiErXwmg","ec7btnN2RJ3DQyXEw"],"keywords":[],"search_terms":["specification","monitoring","timed","normative","systems","azzopardi","pace","schapachnik","schneider"],"title":"On the Specification and Monitoring of Timed Normative Systems","year":2021}