Advertisement

CoWolf – A Generic Framework for Multi-view Co-evolution and Evaluation of Models

  • Sinem Getir
  • Lars Grunske
  • Christian Karl Bernasko
  • Verena Käfer
  • Tim Sanwald
  • Matthias Tichy
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 9152)

Abstract

Agile and iterative development with changing requirements lead to continuously changing models. In particular, the researchers are faced with the problem of consistently co-evolving different views of a model-based system. Whenever one model undergoes changes, corresponding models should co-evolve with respect to this change. On the other hand, domain engineers are faced with the huge challenge to find proper co-evolution rules which can be finally used to assist developers in the co-evolution process. In this paper, we introduce the CoWolf framework that enables co-evolution actions between related models and provides a tooling environment. Furthermore, we demonstrate the results of a case study on the developed tool.

Keywords

Model evolution Multi-view modeling Model co-evolution Model synchronization Model differencing Quality of service models 

Notes

Acknowledgments

This work is supported by the DFG (German Research Foundation) under the Priority Programme SPP1593: Design For Future - Managed Software Evolution. The authors would like to thank Christian Karl Bernasko, Manuel Borja, Verena Käfer, David Krauss, Michael Müller, Philipp Niethammer, Tim Sanwald, Jonas Scheurich, David Steinhart, Rene Trefft, Johannes Wolf and Michael Zimmermann for their great work in the CoWolf development.

References

  1. 1.
    Arendt, T., Biermann, E., Jurack, S., Krause, C., Taentzer, G.: Henshin: advanced concepts and tools for in-place EMF model transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 121–135. Springer, Heidelberg (2010) Google Scholar
  2. 2.
    Etzlstorfer, J., Kusel, A., Kapsammer, E., Langer, P., Retschitzegger, W., Schoenboeck, J., Schwinger, W., Wimmer, M.: A survey on incremental model transformation approaches. In: Proceedings of the Workshop on Models and Evolution Co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems, pp. 4–13 (2013)Google Scholar
  3. 3.
    Franks, G., Maly, P., Woodside, M., Petriu, D.C., Hubbard, A.: Layered queueing network solver and simulator user manual. Carleton University, Department of Systems and Computer Engineering (2005)Google Scholar
  4. 4.
    Getir, S., Rindt, M., Kehrer, T.: A generic framework for analyzing model co-evolution. In: Model Evolution, International Conference on Model Driven Engineering Languages and Systems (2014)Google Scholar
  5. 5.
    Getir, S., Van Hoorn, A., Grunske, L., Tichy, M.: Co-evolution of software architecture and fault tree models: an explorative case study on a pick and place factory automation system. In: International Workshop on NIM-ALP, pp. 32–40 (2013)Google Scholar
  6. 6.
    Grunske, L.: Specification patterns for probabilistic quality properties. In: Schäfer, W., Dwyer, M.B., Gruhn, V. (eds.) Proceedings of ICSE, 2008, pp. 31–40. ACM (2008)Google Scholar
  7. 7.
    Kehrer, T., Kelter, U., Taentzer, G.: A rule-based approach to the semantic lifting of model differences in the context of model versioning. In: International Conference on Automated Software Engineering, pp. 163–172 (2011)Google Scholar
  8. 8.
    Kwiatkowska, M., Norman, G., Parker, D.: PRISM 4.0: verification of probabilistic real-time systems. In: Gopalakrishnan, G., Qadeer, S. (eds.) CAV 2011. LNCS, vol. 6806, pp. 585–591. Springer, Heidelberg (2011) Google Scholar
  9. 9.
    Leblebici, E., Anjorin, A., Schürr, A., Hildebrandt, S., Rieke, J., Greenyer, J.: A comparison of incremental triple graph grammar tools. ECEASST 67 (2014)Google Scholar
  10. 10.
    Legat, C., Folmer, J., Vogel-Heuser, B.: Evolution in industrial plant automation: a case study. In: Proceedings of IECON 2013. IEEE (2013)Google Scholar
  11. 11.
    Rauzy, A.: Anatomy of an efficient fault tree assessment engine. In: Virolainen, R. (ed.) Proceedings of PSAM’11/ESREL’12 (2012)Google Scholar

Copyright information

© Springer International Publishing Switzerland 2015

Authors and Affiliations

  • Sinem Getir
    • 1
  • Lars Grunske
    • 1
  • Christian Karl Bernasko
    • 2
  • Verena Käfer
    • 2
  • Tim Sanwald
    • 2
  • Matthias Tichy
    • 3
  1. 1.Reliable Software SystemsUniversity of StuttgartStuttgartGermany
  2. 2.University of StuttgartStuttgartGermany
  3. 3.University of GothenburgGothenburgSweden

Personalised recommendations