You are in : Home » Results & submissions » Select UOA » 11 - Computer Science and Informatics » View submission: University of Leicester » Outputs » Detail

Output details

11 - Computer Science and Informatics

University of Leicester

Return to search Previous output Next output

Output 0 of 0 in the submission

Article title

Formal semantic conflict detection in aspect-oriented requirements

Type

D - Journal article

DOI

10.1007/s00766-009-0083-y

Title of journal

REQUIREMENTS ENGINEERING

Article number

Volume number

Issue number

First page of article

247

ISSN of journal

0947-3602

Year of publication

2009

URL

Number of additional authors

Additional information

<09>Composition definition and conflict identification are the hardest tasks in Aspect-Oriented Requirements Engineering. As noted in [Moreira and Araújo, LNCS 6491], this work allows for composition definition using expressive natural language-based operators with underlying formal semantics, thus automating conflict-checking of compositions. Others have utilised these concepts in the context of their work, e.g., Van Landuyt et al. (WICSA'12, KUL PhD Thesis, https://lirias.kuleuven.be/handle/123456789/312932, 2011) use similar notions within early architecture context, while Asteasuain and Braberman (ASSE'11) utilise these for a declarative visual language.

Thus, this work provides a new way of thinking about formalising compositions in textual requirements.

Interdisciplinary

Cross-referral requested

Research group

None

Citation count

Proposed double-weighted

Double-weighted statement

Reserve for a double-weighted output

Non-English

English abstract