Agile requirements evolution via paraconsistent reasoning

Neil A. Ernst, Alexander Borgida, John Mylopoulos, Ivan J. Jureta

Résultats de recherche: Contribution dans un livre/un catalogue/un rapport/dans les actes d'une conférenceArticle dans les actes d'une conférence/un colloque


Innovative companies need an agile approach for the engineering of their product requirements, to rapidly respond to and exploit changing conditions. The agile approach to requirements must nonetheless be systematic, especially with respect to accommodating legal and nonfunctional requirements. This paper examines how to support a combination of lightweight, agile requirements which can still be systematically modeled, analyzed and changed. We propose a framework, RE-KOMBINE, which is based on a propositional language for requirements modeling called Techne. We define operations on Techne models which tolerate the presence of inconsistencies in the requirements. This paraconsistent reasoning is vital for supporting delayed commitment to particular design solutions. We evaluate these operations with an industry case study using two well-known formal analysis tools. Our evaluations show that the proposed framework scales to industry-sized requirements models, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis.

langue originaleAnglais
titreAdvanced Information Systems Engineering - 24th International Conference, CAiSE 2012, Proceedings
Nombre de pages16
Les DOIs
Etat de la publicationPublié - 29 oct. 2012
Evénement24th International Conference on Advanced Information Systems Engineering, CAiSE 2012 - Gdansk, Pologne
Durée: 25 juin 201229 juin 2012

Série de publications

NomLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7328 LNCS
ISSN (imprimé)0302-9743
ISSN (Electronique)1611-3349

Une conférence

Une conférence24th International Conference on Advanced Information Systems Engineering, CAiSE 2012
La villeGdansk

Empreinte digitale

Examiner les sujets de recherche de « Agile requirements evolution via paraconsistent reasoning ». Ensemble, ils forment une empreinte digitale unique.

Contient cette citation