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 条
  • [21] Experiences with Constructing and Evolving a Software Product Line with Delta-Oriented Programming
    Nieke, Michael
    Hoff, Adrian
    Schaefer, Ina
    Seidl, Christoph
    VAMOS'22: 16TH INTERNATIONAL WORKING CONFERENCE ON VARIABILITY MODELLING OF SOFTWARE-INTENSIVE SYSTEMS, 2022,
  • [22] Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
    Ferruccio Damiani
    Michael Lienhardt
    Luca Paolini
    International Journal on Software Tools for Technology Transfer, 2019, 21 : 691 - 707
  • [23] Automatic refactoring of delta-oriented SPLs to remove-free form and replace-free form
    Damiani, Ferruccio
    Lienhardt, Michael
    Paolini, Luca
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2019, 21 (06) : 691 - 707
  • [24] A DENOTATIONAL APPROACH FOR TYPE-CHECKING IN OBJECT-ORIENTED PROGRAMMING-LANGUAGES
    IERUSALIMSCHY, R
    COMPUTER LANGUAGES, 1993, 19 (01): : 19 - 40
  • [25] 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
  • [26] Efficient asymmetric inclusion of regular expressions with interleaving and counting for XML type-checking
    Colazzo, D.
    Ghelli, G.
    Pardini, L.
    Sartiani, C.
    THEORETICAL COMPUTER SCIENCE, 2013, 492 : 88 - 116
  • [27] Type Checking Annotation-Based Product Lines
    Kaestner, Christian
    Apel, Sven
    Thuem, Thomas
    Saake, Gunter
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2012, 21 (03)
  • [28] Type safety for feature-oriented product lines
    Apel, Sven
    Kaestner, Christian
    Groesslinger, Armin
    Lengauer, Christian
    AUTOMATED SOFTWARE ENGINEERING, 2010, 17 (03) : 251 - 300
  • [29] Type safety for feature-oriented product lines
    Sven Apel
    Christian Kästner
    Armin Größlinger
    Christian Lengauer
    Automated Software Engineering, 2010, 17 : 251 - 300
  • [30] Life Cycle Design: from general methods to product type specific guidelines and checklists: a method adopted to develop a set of guidelines/checklist handbook for the eco-efficient design of NECTA vending machines
    Vezzoli, Carlo
    Sciama, Dalia
    JOURNAL OF CLEANER PRODUCTION, 2006, 14 (15-16) : 1319 - 1325
123