Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications

Sandra Greiner, Felix Schwägerl, Bernhard Westfechtel

Abstract

Model transformations are crucial in model-driven software engineering (MDSE). While combining MDSE and software product line engineering (SPLE) techniques, summarized as model-driven product line engineering (MDPLE), promises increased productivity by relying on organized reuse, the benefits are impeded by transformation specifications designed exclusively for single-variant models. Applying single-variant model transformations to multi-variant input models results in output models lacking the variability information. Multi-variant model transformations (MVMT), which preserve variability information, have only recently been understood as an explicit research problem. In this paper, we propose an a posteriori approach towards MVMT. Following the paradigm of organized reuse, we propose to employ single-variant model transformations without modifications in a first step, and to transfer variability information afterwards based on the artifacts provided by the single-variant transformation specification. In particular, we implemented this approach for the well-known model-to-model transformation language ATL. To deduce variability information, the execution artifacts (trace and execution model) are analyzed. Then, variability annotations are transfered to the target model automatically. The implementation is evaluated based on a practically example of a Graph product line. Results exhibit that our approach outperforms the conventional solution with respect to user effort, accuracy and performance.

References

  1. Arendt, T., Biermann, E., Jurack, S., Krause, C., and Taentzer, G. (2010). Henshin: advanced concepts and tools for in-place emf model transformations. In International Conference on Model Driven Engineering Languages and Systems, pages 121-135. Springer.
  2. Brun, C. and Pierantonio, A. (2008). Model differences in the eclipse modelling framework. UPGRADE, IX(2):29-34.
  3. Buchmann, T. and Schwägerl, F. (2012). FAMILE: tool support for evolving model-driven product lines. In Störrle, H., Botterweck, G., Bourdells, M., Kolovos, D., Paige, R., Roubtsova, E., Rubin, J., and Tolvanen, J.-P., editors, Joint Proceedings of co-located Events at the 8th ECMFA, CEUR WS, pages 59-62, Building 321, DK-2800 Kongens Lyngby. Technical University of Denmark (DTU).
  4. Cuadrado, J. S., Guerra, E., and de Lara, J. (2014). A component model for model transformations. IEEE Transactions on Software Engineering, 40(11):1042-1060.
  5. Famelis, M., Lúcio, L., Selim, G., Di Sandro, A., Salay, R., Chechik, M., Cordy, J. R., Dingel, J., Vangheluwe, H., and Ramesh, S. (2015). Migrating automotive product lines: a case study. In International Conference on Theory and Practice of Model Transformations, pages 82-97. Springer.
  6. Gomaa, H. (2004). Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures. Addison-Wesley, Boston, MA.
  7. Jouault, F. and Kurtev, I. (2006). Transforming models with atl. In Proceedings of the 2005 International Conference on Satellite Events at the MoDELS, MoDELS'05, pages 128-138, Berlin, Heidelberg. Springer-Verlag.
  8. Lopez-Herrejon, R. E. and Batory, D. S. (2001). A standard problem for evaluating product-line methodologies. In Proceedings of the Third International Conference on Generative and Component-Based Software Engineering, GCSE 7801, pages 10-24, London, UK. Springer.
  9. Mellor, S. J., Kendall, S., Uhl, A., and Weise, D. (2004). MDA Distilled. Addison Wesley Longman Publishing Co., Inc., Redwood City, CA, USA.
  10. Object Management Group (2015). Documents Associated With Unified Modeling Language (UML), Version 2.5. Needham, MA.
  11. Pohl, K., Böckle, G., and van der Linden, F. (2005). Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Berlin, Germany.
  12. Salay, R., Famelis, M., Rubin, J., Sandro, A. D., and Chechik, M. (2014). Lifting model transformations to product lines. In 36th International Conference on Software Engineering, ICSE 7814, Hyderabad, India - May 31 - June 07, 2014, pages 117-128.
  13. Schwägerl, F., Buchmann, T., and Westfechtel, B. (2016). Multi-variant model transformations - a problem statement. In Maciaszek, L. and Filipe, J., editors, Proceedings of the 11th International Conference on the Evaluation of Novel Approaches to Software Engineering (ENASE 2016), Rome, Italy. SCITEPRESS.
  14. Sijtema, M. (2010). Introducing variability rules in atl for managing variability in mde-based product lines. Proc. of MtATL, 10:39-49.
  15. Steinberg, D., Budinsky, F., Paternostro, M., and Merks, E. (2009). EMF Eclipse Modeling Framework. The Eclipse Series. Boston, MA, 2nd edition.
  16. Strüber, D. and Schulz, S. (2016). A Tool Environment for Managing Families of Model Transformation Rules, pages 89-101. Springer International Publishing, Cham.
  17. Völter, M., Stahl, T., Bettin, J., Haase, A., and Helsen, S. (2006). Model-Driven Software Development: Technology, Engineering, Management. John Wiley & Sons.
  18. Wagelaar, D., Iovino, L., Di Ruscio, D., and Pierantonio, A. (2012). Translational semantics of a co-evolution specific language with the emf transformation virtual machine. In International Conference on Theory and Practice of Model Transformations, pages 192-207. Springer.
Download


Paper Citation


in Harvard Style

Greiner S., Schwägerl F. and Westfechtel B. (2017). Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications . In Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-210-3, pages 362-373. DOI: 10.5220/0006137803620373


in Bibtex Style

@conference{modelsward17,
author={Sandra Greiner and Felix Schwägerl and Bernhard Westfechtel},
title={Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications},
booktitle={Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2017},
pages={362-373},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006137803620373},
isbn={978-989-758-210-3},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Realizing Multi-variant Model Transformations on Top of Reused ATL Specifications
SN - 978-989-758-210-3
AU - Greiner S.
AU - Schwägerl F.
AU - Westfechtel B.
PY - 2017
SP - 362
EP - 373
DO - 10.5220/0006137803620373