Agile requirements engineering via paraconsistent reasoning

被引：14

作者：

Ernst, Neil A. ^{[1
]}

Borgida, Alexander ^{[2
]}

Jureta, Ivan J. ^{[3
,4
]}

Mylopoulos, John ^{[5
]}

机构：

[1] Univ British Columbia, Dept Comp Sci, Vancouver, BC V5Z 1M9, Canada

[2] Rutgers State Univ, Dept Comp Sci, Piscataway, NJ 08855 USA

[3] Univ Namur, Fonds Rech Sci FNRS, Namur, Belgium

[4] Univ Namur, Dept Business Adm, Namur, Belgium

[5] Univ Trento, Dipartimento Ingn & Sci Informaz, Trento, Italy

来源：

INFORMATION SYSTEMS | 2014年 / 43卷

关键词：

Paraconsistency; Agile methods; Software requirements; Requirements evolution;

D O I：

10.1016/j.is.2013.05.008

中图分类号：

TP [自动化技术、计算机技术];

学科分类号：

0812 ;

摘要：

Innovative companies need an agile approach towards product and service 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 lightweight, agile requirements processes 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. 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 model, while still retaining (via propositional logic) the informality that is so useful during early requirements analysis. (C) 2013 Elsevier Ltd. All rights reserved.

引用

页码：100 / 116

页数：17

共 40 条

[1]

Anderson AR., 1975, The logic of relevance and necessity

[2]

[Anonymous], 2009, CASE STUDY RES DESIG

[3]

[Anonymous], 1983, P 2 ACM SIGACT SIGMO

[4]

BELNAP ND, 1977, USEFUL 4 VALUED LOGI, P7

[5]

Besnard P., 1995, SYMBOLIC QUANTITATIV

[6] GOAL-DIRECTED REQUIREMENTS ACQUISITION [J].

DARDENNE, A ;

VANLAMSWEERDE, A ;

FICKAS, S .

SCIENCE OF COMPUTER PROGRAMMING, 1993, 20 (1-2) :3-50

[7]

Darimont R., 1996, SIGSOFT FSE

[8] AN ASSUMPTION-BASED TMS [J].

DEKLEER, J .

ARTIFICIAL INTELLIGENCE, 1986, 28 (02) :127-162

[9]

Easterbrook S., 1995, Proceedings of the Second IEEE International Symposium on Requirements Engineering (Cat. No.95TH8040), P48, DOI 10.1109/ISRE.1995.512545

[10]

Ernst N.A., 2011, INT C REQ ENG TRENT

← 1 2 3 4 →