Output details
11 - Computer Science and Informatics
University of Leicester
Formal semantic conflict detection in aspect-oriented requirements
<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.