TY - GEN
T1 - Answer-Set Programming in Requirements Engineering
AU - Li, Wenbin
AU - Brown, David
AU - Hayes, Jane Huffman
AU - Truszczynski, Miroslaw
PY - 2014
Y1 - 2014
N2 - [Context and motivation] Requirements form the foundation of software systems. The quality of the requirements influences the quality of the developed software. [Question/problem] One of the main requirement issues is inconsistency, particularly onerous when the requirements concern temporal constraints. Manual checking whether temporal requirements are consistent is tedious and error prone and may be prohibitively expensive when the number of requirements is large. [Principal ideas/results] We show that answer-set programming tools (ASP) can be successfully applied to detect inconsistencies in software and system requirements. Our assumption is that these requirements are given in a formal requirement specification language called Temporal Action Language (TeAL). [Contribution] We present a translation from TeAL to the ASP language format accepted by clingcon. We show that clingcon can analyze requirements for several real software systems, verifying their consistency or identifying inconsistencies. We also examine the performance of the clingcon translation.
AB - [Context and motivation] Requirements form the foundation of software systems. The quality of the requirements influences the quality of the developed software. [Question/problem] One of the main requirement issues is inconsistency, particularly onerous when the requirements concern temporal constraints. Manual checking whether temporal requirements are consistent is tedious and error prone and may be prohibitively expensive when the number of requirements is large. [Principal ideas/results] We show that answer-set programming tools (ASP) can be successfully applied to detect inconsistencies in software and system requirements. Our assumption is that these requirements are given in a formal requirement specification language called Temporal Action Language (TeAL). [Contribution] We present a translation from TeAL to the ASP language format accepted by clingcon. We show that clingcon can analyze requirements for several real software systems, verifying their consistency or identifying inconsistencies. We also examine the performance of the clingcon translation.
KW - knowledge representation
KW - requirement engineering
KW - temporal requirements
UR - https://www.scopus.com/pages/publications/84958540503
UR - https://www.scopus.com/inward/citedby.url?scp=84958540503&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-05843-6_13
DO - 10.1007/978-3-319-05843-6_13
M3 - Conference contribution
AN - SCOPUS:84958540503
SN - 9783319058429
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 168
EP - 183
BT - Requirements Engineering
T2 - 20th International Working Conference on Requirements Engineering: Foundation for Software Quality, REFSQ 2014
Y2 - 7 April 2014 through 10 April 2014
ER -