Fine-Tuning Model Transformation: Change Propagation in Context of Consistency, Completeness, and Human Guidance

  • Alexander Egyed
  • Andreas Demuth
  • Achraf Ghabi
  • Roberto Lopez-Herrejon
  • Patrick Mäder
  • Alexander Nöhrer
  • Alexander Reder
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6707)

Abstract

An important role of model transformation is in exchanging modeling information among diverse modeling languages. However, while a model is typically constrained by other models, additional information is often necessary to transform said models entirely. This dilemma poses unique challenges for the model transformation community. To counter this problem we require a smart transformation assistant. Such an assistant should be able to combine information from diverse models, react incrementally to enable transformation as information becomes available, and accept human guidance – from direct queries to understanding the designer(s) intentions. Such an assistant should embrace variability to explicitly express and constrain uncertainties during transformation – for example, by transforming alternatives (if no unique transformation result is computable) and constraining these alternatives during subsequent modeling. We would want this smart assistant to optimize how it seeks guidance, perhaps by asking the most beneficial questions first while avoiding asking questions at inappropriate times. Finally, we would want to ensure that such an assistant produces correct transformation results despite the presence of inconsistencies. Inconsistencies are often tolerated yet we have to understand that their presence may inadvertently trigger erroneous transformations, thus requiring backtracking and/or sandboxing of transformation results. This paper explores these and other issues concerning model transformation and sketches challenges and opportunities.

Keywords

change propagation transformation consistency variability constraints impact of a change 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gall, H., Lanza, M.: Software evolution: analysis and visualization. In: Proceedings of the International Conference on Software Engineering, pp. 1055–1056 (2006)Google Scholar
  2. 2.
    Tarr, P., Osher, H., Harrison, W., Sutton Jr., S.M.: N Degrees of Separation: Multi-Dimensional Separation of Concerns. In: Proceedings of the 21st International Conference on Software Engineering (ICSE 21), pp. 107–119 (1999)Google Scholar
  3. 3.
    Bohner, S.A., Arnold, R.S.: Software Change Impact Analysis. IEEE Computer Society Press, Los Alamitos (1991)Google Scholar
  4. 4.
    Cabot, J., Clarisó, R., Guerra, E., de Lara, J.: Analysing Graph Transformation Rules through OCL. In: 1st International Conference on Theory and Practice of Model Transformations (ICMT), Zürich, Switzerland, pp. 229–244 (June 2008)Google Scholar
  5. 5.
    Egyed, A.: Automatically Detecting and Tracking Inconsistencies in Software Design Models. IEEE Transactions on Software Engineering (TSE) 37, 188–204 (2011)CrossRefGoogle Scholar
  6. 6.
    Warmer, J.K.A.: The Object Constraint Language. Addison Wesley, Reading (1999)Google Scholar
  7. 7.
    Mens, T., Czarnecki, K., Gorp, P.V.: 04101 Discussion - A Taxonomy of Model Transformations. In: Language Engineering for Model-Driven Software Development, Dagstuhl Seminar Proceedings. Schloss Dagstuhl, Germany (2005)Google Scholar
  8. 8.
    Heidenreich, F., Kopcsek, J., Aßmann, U.: Safe Composition of Transformations. In: 3rd International Conference on Theory and Practice of Model Transformations (ICMT), Malaga, Spain, pp. 108–122 (June 2010)Google Scholar
  9. 9.
    Hettel, T., Lawley, M., Raymond, K.: Model Synchronisation: Definitions for Round-Trip Engineering. In: 1st International Conference on Theory and Practice of Model Transformations (ICMT), Zürich, Switzerland, pp. 31–45 (June 2008)Google Scholar
  10. 10.
    Czarnecki, K., et al.: Bidirectional Transformations: A Cross-Discipline Perspective. In: 2nd International Conference on Theory and Practice of Model Transformations (ICMT), Zurich, Switzerland, pp. 260–283 (June 2009)Google Scholar
  11. 11.
    Sen, S., Baudry, B., Vangheluwe, H.: Towards Domain-specific Model Editors with Automatic Model Completion. Journal of Simulation 86, 109–126 (2010)CrossRefGoogle Scholar
  12. 12.
    Jouault, F., Tisi, M.: Towards Incremental Execution of ATL Transformations. In: 3rd International Conference on Theory and Practice of Model Transformations (ICMT), Malaga, Spain, pp. 123–137 (June 2010)Google Scholar
  13. 13.
    Shen, W., Wang, K., Egyed, A.: An Efficient and Scalable Approach to Correct Class Model Refinement. IEEE Transactions on Software Engineering (TSE) 35, 515–533 (2009)CrossRefGoogle Scholar
  14. 14.
    Hemel, Z., Groenewegen, D.M., Kats, L.C.L., Visser, E.: Static consistency checking of web applications with WebDSL. Journal of Symbolic Computation 46, 150–182 (2011)CrossRefMATHGoogle Scholar
  15. 15.
    Cicchetti, A., Ruscio, D.D., Pierantonio, A.: Managing Dependent Changes in Coupled Evolution. In: 2nd International Conference on Theory and Practice of Model Transformations (ICMT), Zürich, Switzerland, pp. 35–51 (June 2009)Google Scholar
  16. 16.
    Xiong, Y., Song, H., Hu, Z., Takeichi, M.: Supporting Parallel Updates with Bidirectional Model Transformations. In: 3rd International Conference on Theory and Practice of Model Transformations (ICMT), Malaga, Spain, pp. 213–228 (June 2010)Google Scholar
  17. 17.
    Balzer, R.: Tolerating Inconsistency. In: Proceedings of 13th International Conference on Software Engineering (ICSE), pp. 158–165 (1991)Google Scholar
  18. 18.
    Egyed, A.: Fixing Inconsistencies in UML Design Models. In: Proceedings of the 29th International Conference on Software Engineering, Minneapolis, MN, pp. 292–301 (2007)Google Scholar
  19. 19.
    Nentwich, C., Emmerich, W., Finkelstein, A.: Consistency Management with Repair Actions. In: Proceedings of the 25th International Conference on Software Engineering (ICSE), Portland, Oregon, USA, pp. 455–464 (2003)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Alexander Egyed
    • 1
  • Andreas Demuth
    • 1
  • Achraf Ghabi
    • 1
  • Roberto Lopez-Herrejon
    • 1
  • Patrick Mäder
    • 1
  • Alexander Nöhrer
    • 1
  • Alexander Reder
    • 1
  1. 1.Institute for Systems Engineering and AutomationJohannes Kepler UniversityLinzAustria

Personalised recommendations