Home > Research > Publications & Outputs > A formal approach to semantic composition of as...
View graph of relations

A formal approach to semantic composition of aspect-oriented requirements

Research output: Contribution in Book/Report/ProceedingsPaper

Published
Publication date2008
Host publicationInternational Requirements Engineering, 2008. RE '08. 16th IEEE
PublisherIEEE Publishing
Pages173-182
Number of pages10
ISBN (Print)978-0-7695-3309-4
<mark>Original language</mark>English
Event16th IEEE International Requirements Engineering Conference, RE 2008 - Barcelona, Spain

Conference

Conference16th IEEE International Requirements Engineering Conference, RE 2008
CountrySpain
CityBarcelona
Period8/09/0812/09/08

Conference

Conference16th IEEE International Requirements Engineering Conference, RE 2008
CountrySpain
CityBarcelona
Period8/09/0812/09/08

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.