Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation

Bernhard Hoisl, Zhenjiang Hu, Soichiro Hidaka

2014

Abstract

In model-Driven development (MDD), metamodels, models, and model transformations are interdependent. A change in one artifact must be reflected in all other related artifacts. Regardless of their dependencies, (meta)models and transformations can evolve autonomously rendering referenced artifacts invalid. Coupling the evolution of models to their corresponding metamodels tries to prevent such mismatches, but is currently limited to one-way adaptations and does not take model transformations into account. To eliminate these shortcomings, we combine first-class transformation models with bidirectional transformations (BX). Our generic approach integrates BX into well-established Eclipse-based MDD tools, thereby neither being restricted to a specific modeling nor model transformation language.

References

  1. Bézivin, J. and Gerbé, O. (2001). Towards a precise definition of the OMG/MDA framework. In Proc. 16th Int. Conf. Automated Softw. Eng., pages 273-280. IEEE.
  2. Czarnecki, K., Foster, J. N., Hu, Z., Lämmel, R., Schürr, A., and Terwilliger, J. F. (2009). Bidirectional transformations: A cross-discipline perspective. In Theory and Practice of Model Transformations, volume 5563 of LNCS, pages 260-283. Springer.
  3. Di Ruscio, D., Iovino, L., and Pierantonio, A. (2011). What is needed for managing co-evolution in MDE? In Proc. 2nd Int. Workshop Model Comparison in Practice, pages 30-38. ACM.
  4. Di Ruscio, D., Iovino, L., and Pierantonio, A. (2012). Coupled evolution in model-driven engineering. IEEE Softw., 29(6):78-84.
  5. Giese, H. and Wagner, R. (2009). From model transformation to incremental bidirectional model synchronization. SoSyM, 8(1):21-43.
  6. Herrmannsdoerfer, M., Benz, S., and Juergens, E. (2009). COPE - automating coupled evolution of metamodels and models. In Proc. 23rd European Conf. ObjectOriented Programming, pages 52-76. Springer.
  7. Hidaka, S., Hu, Z., Inaba, K., Kato, H., and Nakano, K. (2011). GRoundTram: An integrated framework for developing well-behaved bidirectional model transformations. In Proc. 26th Int. Conf. on Automated Softw. Eng., pages 480-483. IEEE.
  8. Hidaka, S., Hu, Z., Kato, H., and Nakano, K. (2009). Towards a compositional approach to model transformation for software development. In Proc. 24th Symposium on Applied Computing, pages 468-475. ACM.
  9. Hoisl, B., Sobernig, S., and Strembeck, M. (2013). Higherorder rewriting of model-to-text templates for integrating domain-specific modeling languages. In Proc. 1st Int. Conf. Model-Driven Eng. and Softw. Development, pages 49-61. SciTePress.
  10. Hu, Z., Schurr, A., Stevens, P., and Terwilliger, J. F. (2011). Dagstuhl seminar on bidirectional transformations (BX). SIGMOD Rec., 40(1):35-39.
  11. Meyers, B. and Vangheluwe, H. (2011). A framework for evolution of modelling languages. Sci. Comput. Program., 76(12):1223-1246.
  12. Sasano, I., Hu, Z., Hidaka, S., Inaba, K., Kato, H., and Nakano, K. (2011). Toward bidirectionalization of ATL with GRoundTram. In Proc. 4th Int. Conf. Theory and Practice of Model Transformations, pages 138-151. Springer.
  13. Schmidt, D. C. (2006). Guest editor's introduction: Modeldriven engineering. Computer, 39(2):25-31.
  14. Sendall, S. and Kozaczynski, W. (2003). Model transformation: The heart and soul of model-driven software development. IEEE Softw., 20(5):42-45.
  15. Sobernig, S., Hoisl, B., and Strembeck, M. (2013). Requirements-driven testing of domain-specific core language models using scenarios. In Proc. 13th Int. Conf. Quality Softw., pages 163-172. IEEE.
  16. Stevens, P. (2010). Bidirectional model transformations in QVT: Semantic issues and open questions. SoSyM, 9(1):7-20.
  17. Tisi, M., Jouault, F., Fraternali, P., Ceri, S., and Bézivin, J. (2009). On the use of higher-order model transformations. In Model Driven Architecture - Foundations and Applications, volume 5562 of LNCS, pages 18- 33. Springer.
  18. Wachsmuth, G. (2007). Metamodel adaptation and model co-adaptation. In Proc. 21st European Conf. ObjectOriented Programming, pages 600-624. Springer.
  19. Wei, W. (2012). EpsilonLabs: Epsilon static analysis. Available at: http://code.google.com/p/ epsilonlabs/wiki/EpsilonStaticAnalysis .
  20. Wimmer, M., Kusel, A., Schönböck, J., Retschitzegger, W., Schwinger, W., and Kappel, G. (2010). On using inplace transformations for model co-evolution. In Proc. 2nd Int. Workshop Model Transformation with ATL. INRIA & Ecole des Mines de Nantes.
  21. Yu, Y., Lin, Y., Hu, Z., Hidaka, S., Kato, H., and Montrieux, L. (2012). Maintaining invariant traceability through bidirectional transformations. In Proc. 34th Int. Conf. Softw. Eng., pages 540-550. IEEE.
Download


Paper Citation


in Harvard Style

Hoisl B., Hu Z. and Hidaka S. (2014). Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 466-471. DOI: 10.5220/0004809004660471


in Bibtex Style

@conference{modelsward14,
author={Bernhard Hoisl and Zhenjiang Hu and Soichiro Hidaka},
title={Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={466-471},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004809004660471},
isbn={978-989-758-007-9},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Towards Co-evolution in Model-Driven Development Via Bidirectional Higher-Order Transformation
SN - 978-989-758-007-9
AU - Hoisl B.
AU - Hu Z.
AU - Hidaka S.
PY - 2014
SP - 466
EP - 471
DO - 10.5220/0004809004660471