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 proceedingConference contributionAcademicpeer-review

    21 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 languageEnglish
    Title of host publicationIntegrated Formal Methods
    Subtitle of host publication8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010. Proceedings
    EditorsDominique Méry, Stephan Merz
    Place of PublicationBerlin, Heidelberg
    PublisherSpringer
    Pages183-198
    Number of pages16
    ISBN (Electronic)978-3-642-16265-7
    ISBN (Print)978-3-642-16264-0
    DOIs
    Publication statusPublished - 2010
    Event8th International Conference on Integrated Formal Methods, IFM 2010 - Nancy, France
    Duration: 11 Oct 201014 Oct 2010
    Conference number: 8

    Publication series

    NameLecture Notes in Computer Science
    PublisherSpringer
    Volume6396
    ISSN (Print)0302-9743
    ISSN (Electronic)1611-3349

    Conference

    Conference8th International Conference on Integrated Formal Methods, IFM 2010
    Abbreviated titleIFM
    CountryFrance
    CityNancy
    Period11/10/1014/10/10

    Fingerprint

    Semantics
    Software design
    Scalability

    Keywords

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

    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). Berlin, Heidelberg: Springer. https://doi.org/10.1007/978-3-642-16265-7_14
    Hüksbusch, Mathias ; König, Barbara ; Rensink, Arend ; Semenyak, Maria ; Soltenborn, Christian ; Wehrheim, Heike. / 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",

    }

    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 ; Semenyak, Maria; Soltenborn, Christian; Wehrheim, Heike.

    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 proceedingConference contributionAcademicpeer-review

    TY - GEN

    T1 - Showing Full Semantics Preservation in Model Transformation

    T2 - A Comparison of Techniques

    AU - Hüksbusch, Mathias

    AU - König, Barbara

    AU - Rensink, Arend

    AU - Semenyak, Maria

    AU - Soltenborn, Christian

    AU - Wehrheim, Heike

    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

    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). https://doi.org/10.1007/978-3-642-16265-7_14