Leveraging variability modeling to address metamodel revisions in Model-based Software Product Lines

被引:8
|
作者
Font, Jaime [1 ,2 ]
Arcega, Lorena [1 ,2 ]
Haugen, Oystein [3 ]
Cetina, Carlos [1 ]
机构
[1] Univ San Jorge, SVIT Res Grp, Autovia A-23 Zaragoza Huesca Km 299, Zaragoza 50830, Spain
[2] Univ Oslo, Dept Informat, N-0316 Oslo, Norway
[3] Ostfold Univ Coll, Dept Informat Technol, Krakeroy, Norway
关键词
Model-based Software Product Lines; Variability Modeling; Model and metamodel co-evolution;
D O I
10.1016/j.cl.2016.08.003
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Metamodels evolve over time, which can break the conformance between the models and the metamodel. Model migration strategies aim to co-evolve models and metamodels together, but their application is currently not fully automatizable and is thus cumbersome and error prone. We introduce the Variable MetaModel (VMM) strategy to address the evolution of the reusable model assets of a model-based Software Product Line. The VMM strategy applies variability modeling ideas to express the evolution of the meta model in terms of commonalities and variabilities. When the metamodel evolves, changes are automatically formalized into the VMM and models that conform to previous versions of the metamodel continue to conform to the VMM, thus eliminating the need for migration. We have applied both the traditional migration strategy and the VMM strategy to a retrospective case study that includes 13 years of evolution of our industrial partner, an induction hobs manufacturer. The comparison between the two strategies shows better results for the VMM strategy in terms of model indirection, automation, and trust leak. (C) 2016 Elsevier Ltd. All rights reserved.
引用
收藏
页码:20 / 38
页数:19
相关论文
共 50 条
  • [1] Addressing Metamodel Revisions in Model-Based Software Product Lines
    Font, Jaime
    Arcega, Lorena
    Haugen, Oystein
    Cetina, Carlos
    ACM SIGPLAN NOTICES, 2016, 51 (03) : 161 - 170
  • [2] Addressing Metamodel Revisions in Model-Based Software Product Lines
    Font, Jaime
    Arcega, Lorena
    Haugen, Oystein
    Cetina, Carlos
    GPCE'15: PROCEEDINGS OF THE 2015 ACM SIGPLAN INTERNATIONAL CONFERENCE ON GENERATIVE PROGRAMMING: CONCEPTS AND EXPERIENCES, 2015, : 161 - 170
  • [3] Modeling variability in software product lines with the variation point model
    Webber, DL
    Gomaa, H
    SCIENCE OF COMPUTER PROGRAMMING, 2004, 53 (03) : 305 - 331
  • [4] Model-based safety analysis of software product lines
    de Oliveira, Andre Luiz
    Braga, Rosana T. V.
    Masiero, Paulo Cesar
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 412 - 426
  • [5] Generating counterexamples of model-based software product lines
    João Bosco Ferreira Filho
    Olivier Barais
    Mathieu Acher
    Jérôme Le Noir
    Axel Legay
    Benoit Baudry
    International Journal on Software Tools for Technology Transfer, 2015, 17 : 585 - 600
  • [6] Generating counterexamples of model-based software product lines
    Ferreira Filho, Joao Bosco
    Barais, Olivier
    Acher, Mathieu
    Le Noir, Jerome
    Legay, Axel
    Baudry, Benoit
    INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2015, 17 (05) : 585 - 600
  • [7] A novel model-based testing approach for software product lines
    Damiani, Ferruccio
    Faitelson, David
    Gladisch, Christoph
    Tyszberowicz, Shmuel
    SOFTWARE AND SYSTEMS MODELING, 2017, 16 (04): : 1223 - 1251
  • [8] A novel model-based testing approach for software product lines
    Ferruccio Damiani
    David Faitelson
    Christoph Gladisch
    Shmuel Tyszberowicz
    Software & Systems Modeling, 2017, 16 : 1223 - 1251
  • [9] Leveraging Model Driven Engineering in software product lines
    Trask, Bruce
    Roman, Angel
    SPLC 2006: 10th International Software Product Line Conference, Proceedings, 2006, : 221 - 221
  • [10] A Hierarchical Variability Model for Software Product Lines
    Gurov, Dilian
    Ostvold, Bjarte M.
    Schaefer, Ina
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, 2012, 336 : 181 - +