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

Research

Links

Text available via DOI:

Keywords

View graph of relations

A formal approach to semantic composition of aspect-oriented requirements

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

A formal approach to semantic composition of aspect-oriented requirements. / Weston, Nathan; Chitchyan, Ruzanna; Rashid, Awais.
International Requirements Engineering, 2008. RE '08. 16th IEEE . IEEE Publishing, 2008. p. 173-182.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Weston, N, Chitchyan, R & Rashid, A 2008, A formal approach to semantic composition of aspect-oriented requirements. in International Requirements Engineering, 2008. RE '08. 16th IEEE . IEEE Publishing, pp. 173-182, 16th IEEE International Requirements Engineering Conference, RE 2008, Barcelona, Spain, 8/09/08. https://doi.org/10.1109/RE.2008.42

APA

Weston, N., Chitchyan, R., & Rashid, A. (2008). A formal approach to semantic composition of aspect-oriented requirements. In International Requirements Engineering, 2008. RE '08. 16th IEEE (pp. 173-182). IEEE Publishing. https://doi.org/10.1109/RE.2008.42

Vancouver

Weston N, Chitchyan R, Rashid A. A formal approach to semantic composition of aspect-oriented requirements. In International Requirements Engineering, 2008. RE '08. 16th IEEE . IEEE Publishing. 2008. p. 173-182 doi: 10.1109/RE.2008.42

Author

Weston, Nathan ; Chitchyan, Ruzanna ; Rashid, Awais. / A formal approach to semantic composition of aspect-oriented requirements. International Requirements Engineering, 2008. RE '08. 16th IEEE . IEEE Publishing, 2008. pp. 173-182

Bibtex

@inproceedings{2e85db2be7644695bc075b7a6260e635,
title = "A formal approach to semantic composition of aspect-oriented requirements",
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.",
keywords = "architecture, aspect-oriented , composition, conflict detection, formal , natural language , requirements , semantics , temporal logic",
author = "Nathan Weston and Ruzanna Chitchyan and Awais Rashid",
year = "2008",
doi = "10.1109/RE.2008.42",
language = "English",
isbn = "978-0-7695-3309-4 ",
pages = "173--182",
booktitle = "International Requirements Engineering, 2008. RE '08. 16th IEEE",
publisher = "IEEE Publishing",
note = "16th IEEE International Requirements Engineering Conference, RE 2008 ; Conference date: 08-09-2008 Through 12-09-2008",

}

RIS

TY - GEN

T1 - A formal approach to semantic composition of aspect-oriented requirements

AU - Weston, Nathan

AU - Chitchyan, Ruzanna

AU - Rashid, Awais

PY - 2008

Y1 - 2008

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

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

KW - architecture

KW - aspect-oriented

KW - composition

KW - conflict detection

KW - formal

KW - natural language

KW - requirements

KW - semantics

KW - temporal logic

U2 - 10.1109/RE.2008.42

DO - 10.1109/RE.2008.42

M3 - Conference contribution/Paper

SN - 978-0-7695-3309-4

SP - 173

EP - 182

BT - International Requirements Engineering, 2008. RE '08. 16th IEEE

PB - IEEE Publishing

T2 - 16th IEEE International Requirements Engineering Conference, RE 2008

Y2 - 8 September 2008 through 12 September 2008

ER -