Search Results

Documents authored by Ehrig, Hartmut


Document
Termination Criteria for Model Transformation

Authors: Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, and Szilvia Varró-Gyapai

Published in: Dagstuhl Seminar Proceedings, Volume 5161, Transformation Techniques in Software Engineering (2006)


Abstract
Nowadays the usage of model transformations in software engineering has become widespread. Considering current trends in software development such as model driven development (MDD), there is an emerging need to develop model manipulations such as model evolution and optimisation, semantics definition, etc. If a model transformation is described in a precise way, it can be analysed lateron. Models, especially visual models, can be described best by graphs, due to their multi-dimensional extension. Graphs can be manipulated by graph transformation in a rule-based manner. Thus, we specify model transformation by graph transformation. This approach offers visual and formal techniques in such a way that model transformations can be subjects to analysis. Various results on graph transformation can be used to prove important properties of model transformations such as its functional behaviour, a basic property for computations. Moreover, certain kinds of syntactical and semantical consistency properties can be shown on this formal basis.

Cite as

Hartmut Ehrig, Karsten Ehrig, Gabriele Taentzer, Juan de Lara, Dániel Varró, and Szilvia Varró-Gyapai. Termination Criteria for Model Transformation. In Transformation Techniques in Software Engineering. Dagstuhl Seminar Proceedings, Volume 5161, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2006)


Copy BibTex To Clipboard

@InProceedings{ehrig_et_al:DagSemProc.05161.9,
  author =	{Ehrig, Hartmut and Ehrig, Karsten and Taentzer, Gabriele and de Lara, Juan and Varr\'{o}, D\'{a}niel and Varr\'{o}-Gyapai, Szilvia},
  title =	{{Termination Criteria for Model Transformation}},
  booktitle =	{Transformation Techniques in Software Engineering},
  series =	{Dagstuhl Seminar Proceedings (DagSemProc)},
  ISSN =	{1862-4405},
  year =	{2006},
  volume =	{5161},
  editor =	{James R. Cordy and Ralf L\"{a}mmel and Andreas Winter},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemProc.05161.9},
  URN =		{urn:nbn:de:0030-drops-4280},
  doi =		{10.4230/DagSemProc.05161.9},
  annote =	{Keywords: Model transformation, graph transformation, consistency}
}
Document
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)

Authors: Hartmut Ehrig, Gregor Engels, Fernando Orejas, and Martin Wirsing

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hartmut Ehrig, Gregor Engels, Fernando Orejas, and Martin Wirsing. Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411). Dagstuhl Seminar Report 288, pp. 1-36, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2001)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.288,
  author =	{Ehrig, Hartmut and Engels, Gregor and Orejas, Fernando and Wirsing, Martin},
  title =	{{Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 00411)}},
  pages =	{1--36},
  ISSN =	{1619-0203},
  year =	{2001},
  type = 	{Dagstuhl Seminar Report},
  number =	{288},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.288},
  URN =		{urn:nbn:de:0030-drops-151724},
  doi =		{10.4230/DagSemRep.288},
}
Document
Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281)

Authors: Hartmut Ehrig, Gergor Engels, Fernando Orejas, and Martin Wirsing

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hartmut Ehrig, Gergor Engels, Fernando Orejas, and Martin Wirsing. Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281). Dagstuhl Seminar Report 218, pp. 1-40, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1998)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.218,
  author =	{Ehrig, Hartmut and Engels, Gergor and Orejas, Fernando and Wirsing, Martin},
  title =	{{Semi-Formal and Formal Specification Techniques for Software Systems (Dagstuhl Seminar 98281)}},
  pages =	{1--40},
  ISSN =	{1619-0203},
  year =	{1998},
  type = 	{Dagstuhl Seminar Report},
  number =	{218},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.218},
  URN =		{urn:nbn:de:0030-drops-151043},
  doi =		{10.4230/DagSemRep.218},
}
Document
Graph Transformations in Computer Science (Dagstuhl Seminar 9637)

Authors: Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hartmut Ehrig, Ugo Montanari, Grzegorz Rozenberg, and Hans Jürgen Schneider. Graph Transformations in Computer Science (Dagstuhl Seminar 9637). Dagstuhl Seminar Report 155, pp. 1-39, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.155,
  author =	{Ehrig, Hartmut and Montanari, Ugo and Rozenberg, Grzegorz and Schneider, Hans J\"{u}rgen},
  title =	{{Graph Transformations in Computer Science (Dagstuhl Seminar 9637)}},
  pages =	{1--39},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{155},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.155},
  URN =		{urn:nbn:de:0030-drops-150426},
  doi =		{10.4230/DagSemRep.155},
}
Document
Specification and Semantics (Dagstuhl Seminar 9628)

Authors: Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9628). Dagstuhl Seminar Report 151, pp. 1-38, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1996)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.151,
  author =	{Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin},
  title =	{{Specification and Semantics (Dagstuhl Seminar 9628)}},
  pages =	{1--38},
  ISSN =	{1619-0203},
  year =	{1996},
  type = 	{Dagstuhl Seminar Report},
  number =	{151},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.151},
  URN =		{urn:nbn:de:0030-drops-150387},
  doi =		{10.4230/DagSemRep.151},
}
Document
Specification and Semantics (Dagstuhl Seminar 9321)

Authors: Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Hartmut Ehrig, Friedrich von Henke, José Meseguer, and Martin Wirsing. Specification and Semantics (Dagstuhl Seminar 9321). Dagstuhl Seminar Report 64, pp. 1-23, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1994)


Copy BibTex To Clipboard

@TechReport{ehrig_et_al:DagSemRep.64,
  author =	{Ehrig, Hartmut and von Henke, Friedrich and Meseguer, Jos\'{e} and Wirsing, Martin},
  title =	{{Specification and Semantics (Dagstuhl Seminar 9321)}},
  pages =	{1--23},
  ISSN =	{1619-0203},
  year =	{1994},
  type = 	{Dagstuhl Seminar Report},
  number =	{64},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.64},
  URN =		{urn:nbn:de:0030-drops-149527},
  doi =		{10.4230/DagSemRep.64},
}
Document
Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)

Authors: Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider

Published in: Dagstuhl Seminar Reports. Dagstuhl Seminar Reports, Volume 1 (2021)


Abstract

Cite as

Bruno Courcelle, Hartmut Ehrig, Grzegorz Rozenberg, and Hans Jürgen Schneider. Graph-Transformations in Computer Science (Dagstuhl Seminar 9301). Dagstuhl Seminar Report 53, pp. 1-32, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (1992)


Copy BibTex To Clipboard

@TechReport{courcelle_et_al:DagSemRep.53,
  author =	{Courcelle, Bruno and Ehrig, Hartmut and Rozenberg, Grzegorz and Schneider, Hans J\"{u}rgen},
  title =	{{Graph-Transformations in Computer Science (Dagstuhl Seminar 9301)}},
  pages =	{1--32},
  ISSN =	{1619-0203},
  year =	{1992},
  type = 	{Dagstuhl Seminar Report},
  number =	{53},
  institution =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/DagSemRep.53},
  URN =		{urn:nbn:de:0030-drops-149411},
  doi =		{10.4230/DagSemRep.53},
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail