Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - A formal approach to semantic composition of aspect-oriented requirements
AU - Weston, Nathan
AU - Chitchyan, Ruzanna
AU - Rashid, Awais
PY - 2008
Y1 - 2008
N2 - The goal of aspect-oriented requirements engineering (AORE) is to identify possible crosscutting concerns, and to develop composition specifications around those concerns. These compositions can be used to reason about potential conflicts in the requirements and to relate requirements to architecture in semantically meaningful ways. 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 formal reasoning about the requirements and the subsequent derivations are difficult. We present a formal approach to these semantic-based compositions which facilitates this reasoning. We show that the approach especially lends itself to identifying conflicts between requirements and mapping compositions to a derived architecture.
AB - The goal of aspect-oriented requirements engineering (AORE) is to identify possible crosscutting concerns, and to develop composition specifications around those concerns. These compositions can be used to reason about potential conflicts in the requirements and to relate requirements to architecture in semantically meaningful ways. 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 formal reasoning about the requirements and the subsequent derivations are difficult. We present a formal approach to these semantic-based compositions which facilitates this reasoning. We show that the approach especially lends itself to identifying conflicts between requirements and mapping compositions to a derived architecture.
KW - architecture
KW - aspect-oriented
KW - composition
KW - conflict detection
KW - formal
KW - natural language
KW - requirements
KW - semantics
KW - temporal logic
U2 - 10.1109/RE.2008.42
DO - 10.1109/RE.2008.42
M3 - Conference contribution/Paper
SN - 978-0-7695-3309-4
SP - 173
EP - 182
BT - International Requirements Engineering, 2008. RE '08. 16th IEEE
PB - IEEE Publishing
T2 - 16th IEEE International Requirements Engineering Conference, RE 2008
Y2 - 8 September 2008 through 12 September 2008
ER -