12,000

We have over 12,000 students, from over 100 countries, within one of the safest campuses in the UK

93%

93% of Lancaster students go into work or further study within six months of graduating

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

« Back

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
Original languageEnglish

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.