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

被引：4
作者：
Dinkelaker, Tom [1 ]
Erradi, Mohammed [2 ]
Ayache, Meryeme [2 ]
机构：
[1] Ericsson R&D, Frankfurt, Germany
[2] Mohammed V Souissi Univ, Networking & Distributed Syst Res Grp, TIES, SIME Lab,ENSIAS, Rabat, Morocco
来源：
COMPUTER SCIENCE AND INFORMATION SYSTEMS | 2012年 / 9卷 / 03期
关键词：
feature interactions; aspect interactions; aspect-oriented programming; state machines; conflict detection; conflict resolution; object-oriented programming; formal methods; domain-specific aspect languages;
D O I：
10.2298/CSIS111216033D
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
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.
引用
收藏
页码：1045 / 1074
页数：30
相关论文
共 30 条
  • [1] [Anonymous], GROOVY ACTION
  • [2] [Anonymous], FEATURE INTERACTION
  • [3] Avgustinov Pavel., 2005, AOSD 05, P87
  • [4] FINITE STATE DESCRIPTION OF COMMUNICATION PROTOCOLS
    BOCHMANN, GV
    [J]. COMPUTER NETWORKS AND ISDN SYSTEMS, 1978, 2 (4-5): : 361 - 372
  • [5] Cameron E. J., 1994, FEATURE INTERACTIONS
  • [6] Clements P., 2001, SOFTWARE PRODUCT LIN
  • [7] Feature diagrams and logics: There and back again
    Czarnecki, Krzysztof
    Wasowski, Andrzej
    [J]. SPLC 2007: 11TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE, PROCEEDINGS, 2007, : 23 - +
  • [8] LSCs: Breathing life into message sequence charts
    Damm, W
    Harel, D
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2001, 19 (01) : 45 - 80
  • [9] Dinkelaker T., 2010, P ASP OR SOFTW DEV
  • [10] . Erradi, 1995, P C FRANC INT ING PR
123