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

2 Citations (Scopus)
55 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

Specifications
Inductive logic programming (ILP)
Open systems
Demonstrations

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). Berlin: Springer. https://doi.org/10.1007/978-3-642-37890-4_1

Handling change in normative specifications. / Athakravi, D.; Corapi, D.; Russo, A.; De Vos, M.; Padget, J.; Satoh, K.

Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. ed. / Matteo Baldoni ; Louise Dennis ; Viviana Mascardi ; Wamberto Vasconcelos . Vol. 7784 LNAI Berlin : Springer, 2013. p. 1-19 (Lecture Notes in Computer Science ; Vol. 7784).

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

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, Lecture Notes in Computer Science , vol. 7784, Springer, Berlin, pp. 1-19, 10th International Workshop, DALT 2012, Valencia , Spain, 4/06/12. https://doi.org/10.1007/978-3-642-37890-4_1
Athakravi D, Corapi D, Russo A, De Vos M, Padget J, Satoh K. Handling change in normative specifications. In Baldoni M, Dennis L, Mascardi V, Vasconcelos W, editors, Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. Vol. 7784 LNAI. Berlin: Springer. 2013. p. 1-19. (Lecture Notes in Computer Science ). https://doi.org/10.1007/978-3-642-37890-4_1
Athakravi, D. ; Corapi, D. ; Russo, A. ; De Vos, M. ; Padget, J. ; Satoh, K. / Handling change in normative specifications. Declarative Agent Languages and Technologies X : 10th International Workshop, DALT 2012, Valencia, Spain, June 4, 2012, Revised Selected Papers. editor / Matteo Baldoni ; Louise Dennis ; Viviana Mascardi ; Wamberto Vasconcelos . Vol. 7784 LNAI Berlin : Springer, 2013. pp. 1-19 (Lecture Notes in Computer Science ).
@inproceedings{ea5999e6c0e84d3db70e305b3a74a546,
title = "Handling change in normative specifications",
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.",
author = "D. Athakravi and D. Corapi and A. Russo and {De Vos}, M. and J. Padget and K. Satoh",
year = "2013",
doi = "10.1007/978-3-642-37890-4_1",
language = "English",
isbn = "9783642378898",
volume = "7784 LNAI",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "1--19",
editor = "{Baldoni }, {Matteo } and {Dennis }, {Louise } and {Mascardi }, {Viviana } and {Vasconcelos }, {Wamberto }",
booktitle = "Declarative Agent Languages and Technologies X",

}

TY - GEN

T1 - Handling change in normative specifications

AU - Athakravi, D.

AU - Corapi, D.

AU - Russo, A.

AU - De Vos, M.

AU - Padget, J.

AU - Satoh, K.

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84894165735&partnerID=8YFLogxK

UR - http://dx.doi.org/10.1007/978-3-642-37890-4_1

U2 - 10.1007/978-3-642-37890-4_1

DO - 10.1007/978-3-642-37890-4_1

M3 - Conference contribution

SN - 9783642378898

VL - 7784 LNAI

T3 - Lecture Notes in Computer Science

SP - 1

EP - 19

BT - Declarative Agent Languages and Technologies X

A2 - Baldoni , Matteo

A2 - Dennis , Louise

A2 - Mascardi , Viviana

A2 - Vasconcelos , Wamberto

PB - Springer

CY - Berlin

ER -