CÒIR: Verifying normative specifications of complex systems

Luca Gasparini*, Timothy J. Norman, Martin J. Kollingbaum, Liang Chen, John Jules C Meyer

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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.

Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Agent Systems XI
Subtitle of host publicationCOIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers
EditorsV Dignum, P Noriega, P Sensoy, J S Sichman
PublisherSpringer-Verlag
Pages134-153
Number of pages20
Volume9628
ISBN (Print)9783319426907
DOIs
Publication statusPublished - 2016
EventInternational Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015 - Istanbul, Turkey
Duration: 4 May 20154 May 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9628
ISSN (Print)03029743
ISSN (Electronic)16113349

Conference

ConferenceInternational Conference on Coordination, Organisations, Institutions and Norms in Agent Systems, 2015
CountryTurkey
CityIstanbul
Period4/05/154/05/15

Keywords

  • Collective imperatives
  • Model checking
  • Normative systems

Fingerprint Dive into the research topics of 'CÒIR: Verifying normative specifications of complex systems'. Together they form a unique fingerprint.

  • Cite this

    Gasparini, L., Norman, T. J., Kollingbaum, M. J., Chen, L., & Meyer, J. J. C. (2016). CÒIR: Verifying normative specifications of complex systems. In V. Dignum, P. Noriega, P. Sensoy, & J. S. Sichman (Eds.), Coordination, Organizations, Institutions, and Norms in Agent Systems XI: COIN 2015 International Workshops, COIN@AAMAS, Istanbul, Turkey, May 4, 2015, COIN@IJCAI, Buenos Aires, Argentina, July 26, 2015, Revised Selected Papers (Vol. 9628, pp. 134-153). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9628). Springer-Verlag. https://doi.org/10.1007/978-3-319-42691-4_8