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

TitreUsing Aspect-Oriented State Machines for Detecting and Resolving Feature Interactions
Publication TypeJournal Article
Year of Publication2012
AuthorsDinkelaker, T, Erradi, M, Ayache, M
JournalCOMPUTER SCIENCE AND INFORMATION SYSTEMS
Volume9
Pagination1045-1074
Date PublishedSEP
ISSN1820-0214
Abstract

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.

DOI10.2298/CSIS111216033D
Revues: 

Partenaires

Localisation


Location map

Suivez-nous sur

  

Contactez-nous

ENSIAS

Avenue Mohammed Ben Abdallah Regragui, Madinat Al Irfane, BP 713, Agdal Rabat, Maroc

Résultat de recherche d'images pour "icone fax" Télécopie : (+212) 5 37 77 72 30

    Compteur de visiteurs:302,100
    Education - This is a contributing Drupal Theme
    Design by WeebPal.