Lancaster EPrints

Formal semantic conflict detection in aspect-oriented requirements

Weston, Nathan and Chitchyan, Ruzanna and Rashid, Awais (2009) Formal semantic conflict detection in aspect-oriented requirements. Requirements Engineering, 14 (4). pp. 247-268. ISSN 0947-3602

Full text not available from this repository.


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.

Item Type: Journal Article
Journal or Publication Title: Requirements Engineering
Uncontrolled Keywords: Requirements engineering ; Aspect-oriented requirements engineering ; Conflict detection ; Formal methods ; Semantic composition ; Predicate logic
Departments: Faculty of Science and Technology > School of Computing & Communications
ID Code: 50775
Deposited By: ep_importer_pure
Deposited On: 04 Nov 2011 15:26
Refereed?: Yes
Published?: Published
Last Modified: 19 Jun 2018 03:04
Identification Number:

Actions (login required)

View Item