Handling Conflicts in Aspectual Requirements Compositions

Model-driven development for early aspects

“…Instead, it is mainly to obtain an early identification of aspect candidates and to detect, through projections, their influence on each other, allowing the identification of conflicting situations where particular trade-offs will be required [87,79,21]. In our case, if an AORE process was not used, crosscutting concerns would result in scattered and tangled architectural configurations, which would not be desirable as will be shown later.…”

“…This is exactly the case of what happens in AORA, where we can identify some ''aspect-interactions", which are no more than conflicting situations that happen when non-functional requirements contribute negatively to each other, they have to be composed in the same match point. One form of resolution of this type of aspect interactions can be found in [21,18].…”

“…Conflicts between aspects are a type of ''aspect interaction". Indeed, aspect interaction is a wellknown problem inside the aspect-oriented community, but for which no full sound solutions exist [1,32,33,34,56,66,91,108,21]. Most of the existing work focus on identifying dependencies and interactions between aspects (e.g., [1,56,91]), but few ones exist on how to provide solutions for aspect-interaction (e.g., [32]), and when they exist, it is often a solution for a very specific kind of interaction between a particular pair of aspects.…”

The aspect-oriented user requirements notation

“…Upon arrival at a persistent waiting place or persistent (30) timer along the trigger or release path TRP, the TM shall increase the number of arrived TRPs by 1 (the initial number of arrived TRPs is 0).…”

A systematic process for obtaining the behavior of context-sensitive systems

“…We adopted this method because of its benefits are well described in the literature (Brito et al 2007): it is a well-known and accepted method; it is appropriate for handling conflicting concerns problems; it has the ability to quantify subjective judgements; it is capable of comparing alternatives in relation to established criteria; and it provides means to guarantee the logical consistency of the judgements.…”