Geodesic
Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
Computer Science and Information Systems, Tome 9 (2012) no. 3.

Voir la notice de l'article provenant de la source Computer Science and Information Systems website

Composing different features in a software system may lead to conflicting situations. The presence of one feature may interfere with the correct functionality of another feature, resulting in an incorrect behavior of the system. In this work we present an approach to manage feature interactions. A formal model, using Finite State Machines (FSM) and Aspect-Oriented (AO) technology, is used to specify, detect and resolve features interactions. In fact aspects can resolve interactions by intercepting the events which causes troubleshoot. Also a Domain-Specific Language (DSL) was developed to handle Finite State Machines using a pattern matching technique.
Keywords: feature interactions, aspect interactions, aspect-oriented programming, state machines, conflict detection, conflict resolution, object-oriented programming, formal methods, domain-specific aspect languages. 
@article{CSIS_2012_9_3_a4,
     author = {Tom Dinkelaker and Mohammed Erradi and Meryeme Ayache},
     title = {Using {Aspect-Oriented} {State} {Machines} for {Detecting} and {Resolving} {Feature} {Interactions}},
     journal = {Computer Science and Information Systems},
     publisher = {mathdoc},
     volume = {9},
     number = {3},
     year = {2012},
     url = {http://geodesic.mathdoc.fr/item/CSIS_2012_9_3_a4/}
}
TY  - JOUR
AU  - Tom Dinkelaker
AU  - Mohammed Erradi
AU  - Meryeme Ayache
TI  - Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
JO  - Computer Science and Information Systems
PY  - 2012
VL  - 9
IS  - 3
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/CSIS_2012_9_3_a4/
ID  - CSIS_2012_9_3_a4
ER  - 
%0 Journal Article
%A Tom Dinkelaker
%A Mohammed Erradi
%A Meryeme Ayache
%T Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
%J Computer Science and Information Systems
%D 2012
%V 9
%N 3
%I mathdoc
%U http://geodesic.mathdoc.fr/item/CSIS_2012_9_3_a4/
%F CSIS_2012_9_3_a4
Tom Dinkelaker; Mohammed Erradi; Meryeme Ayache. Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions. Computer Science and Information Systems, Tome 9 (2012) no. 3. http://geodesic.mathdoc.fr/item/CSIS_2012_9_3_a4/