Home > Research > Publications & Outputs > Formal semantic conflict detection in aspect-or...

Research

Associated organisational unit

Links

Text available via DOI:

Keywords

View graph of relations

Formal semantic conflict detection in aspect-oriented requirements

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Published

Standard

Formal semantic conflict detection in aspect-oriented requirements. / Weston, Nathan; Chitchyan, Ruzanna; Rashid, Awais.
In: Requirements Engineering , Vol. 14, No. 4, 2009, p. 247-268.

Research output: Contribution to Journal/Magazine › Journal article › peer-review

Harvard

Weston, N, Chitchyan, R & Rashid, A 2009, 'Formal semantic conflict detection in aspect-oriented requirements', Requirements Engineering , vol. 14, no. 4, pp. 247-268. https://doi.org/10.1007/s00766-009-0083-y

APA

Weston, N., Chitchyan, R., & Rashid, A. (2009). Formal semantic conflict detection in aspect-oriented requirements. Requirements Engineering , 14(4), 247-268. https://doi.org/10.1007/s00766-009-0083-y

Vancouver

Weston N, Chitchyan R, Rashid A. Formal semantic conflict detection in aspect-oriented requirements. Requirements Engineering . 2009;14(4):247-268. doi: 10.1007/s00766-009-0083-y

Author

Weston, Nathan ; Chitchyan, Ruzanna ; Rashid, Awais. / Formal semantic conflict detection in aspect-oriented requirements. In: Requirements Engineering . 2009 ; Vol. 14, No. 4. pp. 247-268.

Bibtex

@article{4d53cdf238cb43698b603f47f356204d,
title = "Formal semantic conflict detection in aspect-oriented requirements",
abstract = "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.",
keywords = "Requirements engineering , Aspect-oriented requirements engineering , Conflict detection , Formal methods , Semantic composition , Predicate logic",
author = "Nathan Weston and Ruzanna Chitchyan and Awais Rashid",
year = "2009",
doi = "10.1007/s00766-009-0083-y",
language = "English",
volume = "14",
pages = "247--268",
journal = "Requirements Engineering ",
issn = "0947-3602",
publisher = "Springer London",
number = "4",

}

RIS

TY - JOUR

T1 - Formal semantic conflict detection in aspect-oriented requirements

AU - Weston, Nathan

AU - Chitchyan, Ruzanna

AU - Rashid, Awais

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Requirements engineering

KW - Aspect-oriented requirements engineering

KW - Conflict detection

KW - Formal methods

KW - Semantic composition

KW - Predicate logic

U2 - 10.1007/s00766-009-0083-y

DO - 10.1007/s00766-009-0083-y

M3 - Journal article

VL - 14

SP - 247

EP - 268

JO - Requirements Engineering

JF - Requirements Engineering

SN - 0947-3602

IS - 4

ER -