Delta-Oriented Multi Software Product Lines

被引：15
|
作者：
Damiani, Ferruccio [1 ]
Schaefer, Ina [2 ]
Winkelmann, Tim [2 ]
机构：
[1] Univ Torino, Turin, Italy
[2] TU Braunschweig, Braunschweig, Germany
来源：
18TH INTERNATIONAL SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2014), VOL 1 | 2014年
关键词：
!text type='Java']Java[!/text; Delta-Oriented Programming; Multi Software Product Line;
D O I：
10.1145/2648511.2648536
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Modern software systems outgrow the scope of traditional software product lines (SPLs) resulting in multi software product lines (MSPLs) with many interconnected subsystem versions and variants. Delta-oriented programming (DOP) is a flexible, modular approach for implementing SPLs, but DOP so far does not allow the realization of MSPLs. In this paper, we extend DOP to support MSPL development and provide the first holistic modeling approach for MSPLs that spans problem, solution and configuration space. The main concept is the extension of DOP with the possibility to import other SPLs or MSPLs into a new MSPL. By expressing constraints amongst the imported SPLs, a common configuration and product generation is enabled.
引用
收藏
页码：232 / 236
页数：5
相关论文
共 50 条
  • [1] Delta-Oriented Programming of Software Product Lines
    Schaefer, Ina
    Bettini, Lorenzo
    Bono, Viviana
    Damiani, Ferruccio
    Tanzarella, Nico
    [J]. SOFTWARE PRODUCT LINES: GOING BEYOND, 2010, 6287 : 77 - +
  • [2] 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
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II, 2016, 9953 : 497 - 511
  • [3] Verification of Software Product Lines with Delta-Oriented Slicing
    Bruns, Daniel
    Klebanov, Vladimir
    Schaefer, Ina
    [J]. FORMAL VERIFICATION OF OBJECT-ORIENTED SOFTWARE, 2011, 6528 : 61 - +
  • [4] Compositional type checking of delta-oriented software product lines
    Lorenzo Bettini
    Ferruccio Damiani
    Ina Schaefer
    [J]. Acta Informatica, 2013, 50 : 77 - 122
  • [5] Compositional type checking of delta-oriented software product lines
    Bettini, Lorenzo
    Damiani, Ferruccio
    Schaefer, Ina
    [J]. ACTA INFORMATICA, 2013, 50 (02) : 77 - 122
  • [6] Incremental model checking of delta-oriented software product lines
    Lochau, Malte
    Mennicke, Stephan
    Baller, Hauke
    Ribbeck, Lars
    [J]. 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
    [J]. 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
    [J]. INTEGRATED FORMAL METHODS, IFM 2019, 2019, 11918 : 534 - 537
  • [9] Model-Driven Engineering for Delta-Oriented Software Product Lines
    Setyautami, Maya R. A.
    Rubiantoro, Rafiano R.
    Azurat, Ade
    [J]. 2019 26TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC), 2019, : 371 - 377
  • [10] Towards a Development Process for Maturing Delta-Oriented Software Product Lines
    Schuster, Sven
    Seidl, Christoph
    Schaefer, Ina
    [J]. PROCEEDINGS OF THE 8TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON FEATURE-ORIENTED SOFTWARE DEVELOPMENT (FOSD'17), 2017, : 41 - 50
12345