A formal approach to semantic composition of aspect-oriented requirements

Weston, Nathan and Chitchyan, Ruzanna and Rashid, Awais (2008) A formal approach to semantic composition of aspect-oriented requirements. In: International Requirements Engineering, 2008. RE '08. 16th IEEE. IEEE Publishing, ESP, pp. 173-182. ISBN 978-0-7695-3309-4

Full text not available from this repository.

Abstract

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.

Item Type:
Contribution in Book/Report/Proceedings
Subjects:
?? ARCHITECTUREASPECT-ORIENTED COMPOSITIONCONFLICT DETECTIONFORMAL NATURAL LANGUAGE REQUIREMENTS SEMANTICS TEMPORAL LOGIC ??
ID Code:
51111
Deposited By:
Deposited On:
07 Nov 2011 10:23
Refereed?:
Yes
Published?:
Published
Last Modified:
19 Sep 2023 03:16