Termination of High-Level Replacement Units with Application to Model Transformation

  title={Termination of High-Level Replacement Units with Application to Model Transformation},
  author={Paolo Bottoni and Manuel Koch and Francesco Parisi-Presicce and Gabriele Taentzer},
  journal={Electr. Notes Theor. Comput. Sci.},
Visual rewriting techniques are increasingly used to model transformations of systems speci ed through diagrammatic sentences. Graph transformations, in particular, are a widespread formalism with several applications, from parsing to model animation or transformation. Although a wealth of rewriting models have been proposed, di ering in the expressivity of the types of rules and in the complexity of the rewriting mechanism, basic results concerning the formal properties of these models are… CONTINUE READING
10 Citations
14 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 14 references

Sch urr, Nested graph transformation units, Int

  • Kreowski, H.-J, A. S. Kuske
  • Journal on Software and Knowledge Engineering
  • 1997
Highly Influential
4 Excerpts

Automatic consistency checking and visualization of OCL constraints, in: UML 2000 - The Uni ed Modeling Language

  • P. Bottoni, M. Koch, F. Parisi Presicce, G. Taentzer
  • 2000
1 Excerpt

Sch urr, E cient parsing of visual languages based on critical pair analysis (and contextual layered graph transformation)

  • P. Bottoni, A. G. Taentzer
  • in: IEEE Symposium Visual Languages
  • 2000
1 Excerpt

Similar Papers

Loading similar papers…