Home > Publications
Home University of Twente
Prospective Students
Intranet (internal)

EEMCS EPrints Service

17500 Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
Home Policy Brochure Browse Search User Area Contact Help

Hülsbusch, M. and König, B. and Rensink, A. and Semenyak, M. and Soltenborn, C. and Wehrheim, H. (2010) Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques. Technical Report TR-CTIT-10-09, Centre for Telematics and Information Technology University of Twente, Enschede. ISSN 1381-3625

Full text available as:


584 Kb
Open Access

Exported to Metis


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.

Item Type:Internal Report (Technical Report)
Research Group:EWI-FMT: Formal Methods and Tools
Research Program:CTIT-DSN: Dependable Systems and Networks
Research Project:GRASLAND: Graphs for Software Language Definitions
ID Code:17500
Deposited On:19 February 2010
More Information:statisticsmetis

Export this item as:

To correct this item please ask your editor

Repository Staff Only: edit this item