Refactoring Delta-Oriented Product Lines to Enforce Guidelines for Efficient Type-Checking

被引：2
|
作者：
Damiani, Ferruccio [1 ]
Lienhardt, Michael [1 ]
机构：
[1] Univ Turin, Turin, Italy
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION: DISCUSSION, DISSEMINATION, APPLICATIONS, ISOLA 2016, PT II | 2016年 / 9953卷
关键词：
D O I：
10.1007/978-3-319-47169-3_45
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
A Software Product Line (SPL) is a family of similar programs generated from a common code base. Delta-Oriented Programming (DOP) is a flexible and modular approach to construct SPLs. Ensuring type safety in an SPL (i.e., ensuring that all its programs are well-typed) is a computationally expensive task. Recently, five guidelines to address the complexity of type checking delta-oriented SPLs have been proposed. This paper presents algorithms to refactor delta-oriented SPLs in order to follow the five guidelines. Complexity and correctness of the refactoring algorithms are stated.
引用
收藏
页码：579 / 596
页数：18
相关论文
共 30 条
  • [1] On Type Checking Delta-Oriented Product Lines
    Damiani, Ferruccio
    Lienhardt, Michael
    INTEGRATED FORMAL METHODS (IFM 2016), 2016, 9681 : 47 - 62
  • [2] On checking delta-oriented product lines of statecharts
    Lienhardt, Michael
    Damiani, Ferruccio
    Testa, Lorenzo
    Turin, Gianluca
    SCIENCE OF COMPUTER PROGRAMMING, 2018, 166 : 3 - 34
  • [3] Refactoring Delta-Oriented Product Lines to Achieve Monotonicity
    Damiani, Ferruccio
    Lienhardt, Michael
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2016, (206): : 2 - 16
  • [4] Compositional type checking of delta-oriented software product lines
    Lorenzo Bettini
    Ferruccio Damiani
    Ina Schaefer
    Acta Informatica, 2013, 50 : 77 - 122
  • [5] Compositional type checking of delta-oriented software product lines
    Bettini, Lorenzo
    Damiani, Ferruccio
    Schaefer, Ina
    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
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2016, 85 (01) : 245 - 267
  • [7] 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
  • [8] Formal Foundations for Analyzing and Refactoring Delta-Oriented Model-Based Software Product Lines
    Pietsch, Christopher
    Kelter, Udo
    Kehrer, Timo
    Seidl, Christoph
    SPLC'19: PROCEEDINGS OF THE 23RD INTERNATIONAL SYSTEMS AND SOFTWARE PRODUCT LINE CONFERENCE, VOL A, 2020, : 207 - 217
  • [9] 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
  • [10] 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 - +
123