Handling change in normative specifications

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

Research output: Chapter or section in a book/report/conference proceedingChapter in a published conference proceeding

5 Citations (SciVal)
147 Downloads (Pure)


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
Number of pages20
Volume7784 LNAI
ISBN (Electronic)9783642378904
ISBN (Print)9783642378898
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
ISSN (Print)0302-9743


Conference10th International Workshop, DALT 2012


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

Cite this