Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions

Tom Dinkelaker1, Mohammed Erradi2 and Meryeme Ayache2

  1. Ericsson R&D
    Frankfurt, Germany
  2. Networking & Distributed Systems Research Group, TIES, SIME Lab, ENSIAS
    Mohammed V-Souissi University, Rabat, Morocco,


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.

Key words

feature interactions, aspect interactions, aspect-oriented programming, state machines, conflict detection, conflict resolution, object-oriented programming, formal methods, domain-specific aspect languages.

Digital Object Identifier (DOI)

Publication information

Volume 9, Issue 3 (September 2012)
Special Issue on Advances in Computer Languages, Modeling and Agents
Year of Publication: 2012
ISSN: 2406-1018 (Online)
Publisher: ComSIS Consortium

Full text

DownloadAvailable in PDF
Portable Document Format

How to cite

Dinkelaker, T., Erradi, M., Ayache, M.: Using Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions. Computer Science and Information Systems, Vol. 9, No. 3, 1045-1074. (2012),