Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

Mathias Hüksbusch; Barbara König; Arend  Rensink; Maria Semenyak; Christian Soltenborn; Heike Wehrheim

doi:10.1007/978-3-642-16265-7_14

Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

Mathias Hüksbusch, Barbara König, Arend Rensink, Maria Semenyak, Christian Soltenborn, Heike Wehrheim

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

22 Citations (Scopus)

Abstract

Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.

Original language	English
Title of host publication	Integrated Formal Methods
Subtitle of host publication	8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
Editors	Dominique Méry, Stephan Merz
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	183-198
Number of pages	16
ISBN (Electronic)	978-3-642-16265-7
ISBN (Print)	978-3-642-16264-0
DOIs	https://doi.org/10.1007/978-3-642-16265-7_14
Publication status	Published - 2010
Event	8th International Conference on Integrated Formal Methods, IFM 2010 - Nancy, France Duration: 11 Oct 2010 → 14 Oct 2010 Conference number: 8

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	6396
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	8th International Conference on Integrated Formal Methods, IFM 2010
Abbreviated title	IFM
Country/Territory	France
City	Nancy
Period	11/10/10 → 14/10/10

Keywords

METIS-271122
Graph Transformation
Semantics Preservation
IR-74632
EWI-18770
Model Transformation

Access to Document

10.1007/978-3-642-16265-7_14

Cite this

Hüksbusch, M., König, B., Rensink, A., Semenyak, M., Soltenborn, C., & Wehrheim, H. (2010). Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques. In D. Méry, & S. Merz (Eds.), Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings (pp. 183-198). (Lecture Notes in Computer Science; Vol. 6396). Springer. https://doi.org/10.1007/978-3-642-16265-7_14

Hüksbusch, Mathias ; König, Barbara ; Rensink, Arend et al. / Showing Full Semantics Preservation in Model Transformation : A Comparison of Techniques. Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. editor / Dominique Méry ; Stephan Merz. Berlin, Heidelberg : Springer, 2010. pp. 183-198 (Lecture Notes in Computer Science).

@inproceedings{3829f520e9164b8da12954b56cb487e1,

title = "Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques",

abstract = "Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.",

keywords = "METIS-271122, Graph Transformation, Semantics Preservation, IR-74632, EWI-18770, Model Transformation",

author = "Mathias H{\"u}ksbusch and Barbara K{\"o}nig and Arend Rensink and Maria Semenyak and Christian Soltenborn and Heike Wehrheim",

year = "2010",

doi = "10.1007/978-3-642-16265-7_14",

language = "English",

isbn = "978-3-642-16264-0",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "183--198",

editor = "Dominique M{\'e}ry and Stephan Merz",

booktitle = "Integrated Formal Methods",

note = "8th International Conference on Integrated Formal Methods, IFM 2010, IFM ; Conference date: 11-10-2010 Through 14-10-2010",

}

Hüksbusch, M, König, B, Rensink, A, Semenyak, M, Soltenborn, C & Wehrheim, H 2010, Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques. in D Méry & S Merz (eds), Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Lecture Notes in Computer Science, vol. 6396, Springer, Berlin, Heidelberg, pp. 183-198, 8th International Conference on Integrated Formal Methods, IFM 2010, Nancy, France, 11/10/10. https://doi.org/10.1007/978-3-642-16265-7_14

Showing Full Semantics Preservation in Model Transformation : A Comparison of Techniques. / Hüksbusch, Mathias; König, Barbara; Rensink, Arend et al.

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. ed. / Dominique Méry; Stephan Merz. Berlin, Heidelberg : Springer, 2010. p. 183-198 (Lecture Notes in Computer Science; Vol. 6396).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Showing Full Semantics Preservation in Model Transformation

T2 - 8th International Conference on Integrated Formal Methods, IFM 2010

AU - Hüksbusch, Mathias

AU - König, Barbara

AU - Rensink, Arend

AU - Semenyak, Maria

AU - Soltenborn, Christian

AU - Wehrheim, Heike

N1 - Conference code: 8

PY - 2010

Y1 - 2010

N2 - Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.

AB - Model transformation is a prime technique in modern, model-driven software design. One of the most challenging issues is to show that the semantics of the models is not affected by the transformation. So far, there is hardly any research into this issue, in particular in those cases where the source and target languages are different. In this paper, we are using two different state-of-the-art proof techniques (explicit bisimulation construction versus borrowed contexts) to show bisimilarity preservation of a given model transformation between two simple (self-defined) languages, both of which are equipped with a graph transformation-based operational semantics. The contrast between these proof techniques is interesting because they are based on different model transformation strategies: triple graph grammars versus in situ transformation. We proceed to compare the proofs and discuss scalability to a more realistic setting.

KW - METIS-271122

KW - Graph Transformation

KW - Semantics Preservation

KW - IR-74632

KW - EWI-18770

KW - Model Transformation

U2 - 10.1007/978-3-642-16265-7_14

DO - 10.1007/978-3-642-16265-7_14

M3 - Conference contribution

SN - 978-3-642-16264-0

T3 - Lecture Notes in Computer Science

SP - 183

EP - 198

BT - Integrated Formal Methods

A2 - Méry, Dominique

A2 - Merz, Stephan

PB - Springer

CY - Berlin, Heidelberg

Y2 - 11 October 2010 through 14 October 2010

ER -

Hüksbusch M, König B, Rensink A, Semenyak M, Soltenborn C, Wehrheim H. Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques. In Méry D, Merz S, editors, Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings. Berlin, Heidelberg: Springer. 2010. p. 183-198. (Lecture Notes in Computer Science). doi: 10.1007/978-3-642-16265-7_14

Showing Full Semantics Preservation in Model Transformation: A Comparison of Techniques

Abstract

Publication series

Conference

Keywords

Access to Document

Fingerprint

Cite this