Research output: Contribution to Journal/Magazine › Journal article › peer-review
Research output: Contribution to Journal/Magazine › Journal article › peer-review
}
TY - JOUR
T1 - Formal semantic conflict detection in aspect-oriented requirements
AU - Weston, Nathan
AU - Chitchyan, Ruzanna
AU - Rashid, Awais
PY - 2009
Y1 - 2009
N2 - The goal of Aspect-Oriented Requirements Engineering is to identify possible crosscutting concerns, and to develop composition specifications, which can be used to reason about potential conflicts in the requirements. Recent work in AORE has moved from a syntactic approach to composition, which leads to fragile compositions and increased coupling between aspect and base concerns, to a semantic composition approach, based on semantics of the natural language itself. However, such compositions are at present only informally specified, and as such precise conflict detection between the requirements compositions is difficult. We present an approach for the formalisation of these semantic-based compositions which means that logical conflicts between compositions can be precisely identified and understood semantically. We show that the approach can be supported by off-the-shelf tools, meaning it is scalable and feasible for even large requirements specifications.
AB - The goal of Aspect-Oriented Requirements Engineering is to identify possible crosscutting concerns, and to develop composition specifications, which can be used to reason about potential conflicts in the requirements. Recent work in AORE has moved from a syntactic approach to composition, which leads to fragile compositions and increased coupling between aspect and base concerns, to a semantic composition approach, based on semantics of the natural language itself. However, such compositions are at present only informally specified, and as such precise conflict detection between the requirements compositions is difficult. We present an approach for the formalisation of these semantic-based compositions which means that logical conflicts between compositions can be precisely identified and understood semantically. We show that the approach can be supported by off-the-shelf tools, meaning it is scalable and feasible for even large requirements specifications.
KW - Requirements engineering
KW - Aspect-oriented requirements engineering
KW - Conflict detection
KW - Formal methods
KW - Semantic composition
KW - Predicate logic
U2 - 10.1007/s00766-009-0083-y
DO - 10.1007/s00766-009-0083-y
M3 - Journal article
VL - 14
SP - 247
EP - 268
JO - Requirements Engineering
JF - Requirements Engineering
SN - 0947-3602
IS - 4
ER -