Handling change in normative specifications

D. Athakravi, D. Corapi, A. Russo, M. De Vos, J. Padget, K. Satoh

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

3 Citations (Scopus)
125 Downloads (Pure)

Abstract

Normative frameworks provide a means to address the governance of open systems, offering a mechanism to express responsibilities and permissions of the individual participants with respect to the entire system without compromising their autonomy. In order to meet requirements careful design is crucial. Tools that support the design process can be of great benefit. In this paper, we describe and illustrate a methodology for elaborating normative specifications. We utilise use-cases to capture desirable and undesirable system behaviours, employ inductive logic programming to construct elaborations, in terms of revisions and extensions, of an existing (partial) normative specification and provide justifications as to why certain changes are better than others. The latter can be seen as a form of impact analysis of the possible elaborations, in terms of critical consequences that would be preserved or rejected by the changes. The main contributions of this paper is a (semi) automated process for controlling the elaboration of normative specifications and a demonstration of its effectiveness through a proof-of-concept case study.
Original languageEnglish
Title of host publicationDeclarative Agent Languages and Technologies X
Subtitle of host publication10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers
EditorsMatteo Baldoni , Louise Dennis , Viviana Mascardi , Wamberto Vasconcelos
Place of PublicationBerlin
PublisherSpringer
Pages1-19
Number of pages20
Volume7784 LNAI
ISBN (Electronic)9783642378904
ISBN (Print)9783642378898
DOIs
Publication statusPublished - 2013
Event10th International Workshop, DALT 2012 - Valencia , Spain
Duration: 4 Jun 20124 Jun 2012

Publication series

NameLecture Notes in Computer Science
PublisherSpringer Berlin Heidelberg
Volume7784
ISSN (Print)0302-9743

Conference

Conference10th International Workshop, DALT 2012
CountrySpain
CityValencia
Period4/06/124/06/12

Fingerprint Dive into the research topics of 'Handling change in normative specifications'. Together they form a unique fingerprint.

  • Cite this

    Athakravi, D., Corapi, D., Russo, A., De Vos, M., Padget, J., & Satoh, K. (2013). Handling change in normative specifications. In M. Baldoni , L. Dennis , V. Mascardi , & W. Vasconcelos (Eds.), Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers (Vol. 7784 LNAI, pp. 1-19). (Lecture Notes in Computer Science ; Vol. 7784). Springer. https://doi.org/10.1007/978-3-642-37890-4_1