Delta-Trait Programming of Software Product Lines

被引:0
|
作者
Damiani, Ferruccio [1 ]
Schaefer, Ina [2 ]
Schuster, Sven [2 ]
Winkelmann, Tim [2 ]
机构
[1] Univ Turin, Dipartimento Informat, I-10149 Turin, Italy
[2] Tech Univ Carolo Wilhelmina Braunschweig, Braunschweig, Germany
关键词
!text type='JAVA']JAVA[!/text; SYSTEM;
D O I
暂无
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Delta-oriented programming (DOP) is a flexible approach for implementing software product lines (SPLs). DOP SPLs are implemented by a set of delta modules encapsulating changes to class-based object-oriented programs. A particular product in a DOP SPL is generated by applying to the empty program the modifications contained in the delta modules associated to the selected product features. Traits are pure units of behavior, designed to support flexible fine-grained reuse and to provide an effective means to counter the limitations of class-based inheritance. A trait is a set of methods which is independent from any class hierarchy and can be flexibly used to build other traits or classes by means of a suite of composition operations. In this paper, we present an approach for programming SPLs of trait-based programs where the program modifications expressed by delta modules are formulated by exploiting the trait composition mechanism. This smooth integration of the modularity mechanisms provided by delta modules and traits results in a new approach for programming SPLs, delta-trait programming (DTP), which is particularly well suited for evolving SPLs.
引用
收藏
页码:289 / 303
页数:15
相关论文
共 50 条
  • [1] Delta-Oriented Programming of Software Product Lines
    Schaefer, Ina
    Bettini, Lorenzo
    Bono, Viviana
    Damiani, Ferruccio
    Tanzarella, Nico
    SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 77 - +
  • [2] Delta-Oriented Multi Software Product Lines
    Damiani, Ferruccio
    Schaefer, Ina
    Winkelmann, Tim
    18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1, 2014, : 232 - 236
  • [3] A Toolchain for Delta-Oriented Modeling of Software Product Lines
    Chesta, Cristina
    Damiani, Ferruccio
    Dobriakova, Liudmila
    Guernieri, Marco
    Martini, Simone
    Nieke, Michael
    Rodrigues, Vitor
    Schuster, Sven
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 497 - 511
  • [4] Verification of Software Product Lines with Delta-Oriented Slicing
    Bruns, Daniel
    Klebanov, Vladimir
    Schaefer, Ina
    FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 61 - +
  • [5] Compositional type checking of delta-oriented software product lines
    Lorenzo Bettini
    Ferruccio Damiani
    Ina Schaefer
    Acta Informatica, 2013, 50 : 77 - 122
  • [6] Incremental model checking of delta-oriented software product lines
    Lochau, Malte
    Mennicke, Stephan
    Baller, Hauke
    Ribbeck, Lars
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 245 - 267
  • [7] A Formal Foundation for Dynamic Delta-Oriented Software Product Lines
    Damiani, Ferruccio
    Padovani, Luca
    Schaefer, Ina
    ACM SIGPLAN NOTICES, 2013, 48 (03) : 1 - 10
  • [8] Summary of: On Checking Delta-Oriented Software Product Lines of Statecharts
    Lienhardt, Michael
    Damiani, Ferruccio
    Testa, Lorenzo
    Turin, Gianluca
    INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 534 - 537
  • [9] Compositional type checking of delta-oriented software product lines
    Bettini, Lorenzo
    Damiani, Ferruccio
    Schaefer, Ina
    ACTA INFORMATICA, 2013, 50 (02) : 77 - 122
  • [10] PhaDOP: A Pharo framework for implementing software product lines using Delta-Oriented Programming and model-based engineering
    Niang, Boubou Thiam
    Kahn, Giacomo
    Ouzrout, Yacine
    Derras, Mustapha
    Laval, Jannik
    JOURNAL OF COMPUTER LANGUAGES, 2024, 80