Model Superimposition in Software Product Lines

被引：0
|
作者：
Apel, Sven [1 ]
Janda, Florian [1 ]
Trujillo, Salvador [2 ]
Kaestner, Christian [3 ]
机构：
[1] Univ Passau, Dept Math & Informat, Passau, Germany
[2] IKERLAN Res Ctr, Arrasate Mondragon, Spain
[3] Univ Magdeburg, Sch Comp Sci, Magdeburg, Germany
来源：
THEORY AND PRACTICE OF MODEL TRANSFORMATIONS | 2009年 / 5563卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In software product line engineering, feature composition generates software tailored to specific requirements from a common set of artifacts. Superimposition is a technique to merge code pieces belonging to different features. The advent of model-driven development raises the question of how to support the variability of software product lines in modeling techniques. We propose to use superimposition as a model composition technique in order to support variability. We analyze the feasibility of superimposition for model composition, offer corresponding tool support, and discuss our experiences with three case studies (including an industrial case study).
引用
收藏
页码：4 / +
页数：3
相关论文
共 50 条
  • [1] A cost model for software product lines
    Böckle, G
    Clements, P
    McGregor, JD
    Muthig, D
    Schmid, K
    [J]. SOFTWARE PRODUCT-FAMILY ENGINEERING, 2004, 3014 : 310 - 316
  • [2] Symbolic Model Checking of Software Product Lines
    Classen, Andreas
    Heymans, Patrick
    Schobbens, Pierre-Yves
    Legay, Axel
    [J]. 2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 321 - 330
  • [3] Modeling and model checking software product lines
    Gruler, Alexander
    Leucker, Martin
    Scheidemann, Kathrin
    [J]. FORMAL METHODS FOR OPEN OBJECT-BASED DISTRIBUTED SYSTEMS, PROCEEDINGS, 2008, 5051 : 113 - 131
  • [4] Multistage Model Transformations in Software Product Lines
    Azevedo, Sofia
    Machado, Ricardo J.
    Muthig, Dirk
    [J]. 2009 FOURTH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING ADVANCES (ICSEA 2009), 2009, : 565 - +
  • [5] A Hierarchical Variability Model for Software Product Lines
    Gurov, Dilian
    Ostvold, Bjarte M.
    Schaefer, Ina
    [J]. LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, 2012, 336 : 181 - +
  • [6] Model Based Testing in Software Product Lines
    Reales, Pedro
    Polo, Macario
    Caivano, Danilo
    [J]. ENTERPRISE INFORMATION SYSTEMS, ICEIS 2011, 2012, 102 : 270 - 283
  • [7] A formal model for Multi Software Product Lines
    Damiani, Ferruccio
    Lienhardt, Michael
    Paolini, Luca
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2019, 172 : 203 - 231
  • [8] Model checking software product lines with SNIP
    Andreas Classen
    Maxime Cordy
    Patrick Heymans
    Axel Legay
    Pierre-Yves Schobbens
    [J]. International Journal on Software Tools for Technology Transfer, 2012, 14 (5) : 589 - 612
  • [9] Model Verification of Dynamic Software Product Lines
    Santos, Ismayle S.
    Rocha, Lincoln S.
    Santos Neto, Pedro A.
    Andrade, Rossana M. C.
    [J]. THIRTIETH BRAZILIAN SYMPOSIUM ON SOFTWARE ENGINEERING (SBES 2016), 2016, : 113 - 122
  • [10] Model driven development of software product lines
    Braganca, Alexandre
    Machado, Ricardo J.
    [J]. QUATIC 2007: 6TH INTERNATIONAL CONFERENCE ON THE QUALITY OF INFORMATION AND COMMUNICATIONS TECHNOLOGY, PROCEEDINGS, 2007, : 199 - +
12345