The University of Southampton
University of Southampton Institutional Repository

CÒIR: Verifying normative specifications of complex systems

CÒIR: Verifying normative specifications of complex systems
CÒIR: Verifying normative specifications of complex systems

Existing approaches for the verification of normative systems consider limited representations of norms, often neglecting collective imperatives, deadlines and contrary-to-duty obligations. In order to capture the requirements of real-world scenarios, these structures are important. In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its linear temporal logic model checker, we show how important properties can be verified for such systems, and provide some experimental results for both bounded and unbounded verification.

Collective imperatives, Model checking, Normative systems
03029743
134-153
Springer
Gasparini, Luca
15ef6336-0f4e-4acf-8989-c6797c2e6120
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
Kollingbaum, Martin J.
015a7895-2e8f-4e21-a2fc-a2fa1fae37df
Chen, Liang
15459db0-4299-44b7-beaf-fb646add66ac
Meyer, John Jules C
6c9f0eef-553d-4b4a-8abf-7288a045cf38
Gasparini, Luca
15ef6336-0f4e-4acf-8989-c6797c2e6120
Norman, Timothy J.
663e522f-807c-4569-9201-dc141c8eb50d
Kollingbaum, Martin J.
015a7895-2e8f-4e21-a2fc-a2fa1fae37df
Chen, Liang
15459db0-4299-44b7-beaf-fb646add66ac
Meyer, John Jules C
6c9f0eef-553d-4b4a-8abf-7288a045cf38

Gasparini, Luca, Norman, Timothy J., Kollingbaum, Martin J., Chen, Liang and Meyer, John Jules C (2016) CÒIR: Verifying normative specifications of complex systems. In Coordination, Organizations, Institutions, and Normes in Agent Systems XI - COIN 2015 International Workshops COIN@AAMAS, Revised Selected Papers. vol. 9628, Springer. pp. 134-153 . (doi:10.1007/978-3-319-42691-4_8).

Record type: Conference or Workshop Item (Paper)

Abstract

Existing approaches for the verification of normative systems consider limited representations of norms, often neglecting collective imperatives, deadlines and contrary-to-duty obligations. In order to capture the requirements of real-world scenarios, these structures are important. In this paper we propose methods for the specification and formal verification of complex normative systems that include contraryto- duty, collective and event-driven imperatives with deadlines. We propose an operational syntax and semantics for the specification of such systems. Using Maude and its linear temporal logic model checker, we show how important properties can be verified for such systems, and provide some experimental results for both bounded and unbounded verification.

This record has no associated files available for download.

More information

e-pub ahead of print date: 13 July 2016
Published date: 2016
Venue - Dates: International Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015, , Istanbul, Turkey, 2015-05-04 - 2015-05-04
Keywords: Collective imperatives, Model checking, Normative systems

Identifiers

Local EPrints ID: 413710
URI: http://eprints.soton.ac.uk/id/eprint/413710
ISSN: 03029743
PURE UUID: bbe5fb3f-082f-41ae-8b2a-76a76e1b4f96
ORCID for Timothy J. Norman: ORCID iD orcid.org/0000-0002-6387-4034

Catalogue record

Date deposited: 31 Aug 2017 16:32
Last modified: 06 Jun 2024 01:55

Export record

Altmetrics

Contributors

Author: Luca Gasparini
Author: Martin J. Kollingbaum
Author: Liang Chen
Author: John Jules C Meyer

Download statistics

Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.

View more statistics

Atom RSS 1.0 RSS 2.0

Contact ePrints Soton: eprints@soton.ac.uk

ePrints Soton supports OAI 2.0 with a base URL of http://eprints.soton.ac.uk/cgi/oai2

This repository has been built using EPrints software, developed at the University of Southampton, but available to everyone to use.

We use cookies to ensure that we give you the best experience on our website. If you continue without changing your settings, we will assume that you are happy to receive cookies on the University of Southampton website.

×