Graph Transformation Meets Reversible Circuits: Model Transformation and Optimization

2016 ◽  
pp. 236-251
Author(s):  
Hans-Jörg Kreowski ◽  
Sabine Kuske ◽  
Aaron Lye ◽  
Caro von Totth
Keyword(s):  
Model Transformation ◽  
Graph Transformation ◽  
Reversible Circuits

Graph Transformation Meets Reversible Circuits: Generation, Evaluation, and Synthesis

2014 ◽  
pp. 237-252 ◽  
Author(s):  
Hans-Jörg Kreowski ◽  
Sabine Kuske ◽  
Aaron Lye ◽  
Melanie Luderer
Keyword(s):  
Graph Transformation ◽  
Reversible Circuits

Combining termination proofs in model transformation systems

2014 ◽  
Vol 24 (4) ◽  
Author(s):  
DÉNES BISZTRAY ◽  
REIKO HECKEL
Keyword(s):  
Model Transformation ◽  
Graph Transformation ◽  
Model Transformations ◽  
Termination Criteria ◽  
Attributed Graphs ◽  
Source Models ◽  
Transformation Systems ◽  
Suitable Technique ◽  
Termination Proofs

In model transformations, where source models are automatically translated into target models or code, termination is necessary for the transformation to be well defined. There are a number of specific termination criteria that can be used when specifying model transformations by graph transformation, though termination is undecidable in general. Unfortunately, and particularly for large and heterogeneous specifications, it is often not possible to use a single termination criterion. In this paper, we propose an approach that applies different criteria to suitable subsets of rules so that termination can be shown locally using the most suitable technique for each subset. Global termination then follows if certain causal dependencies between rules in different subsets are acyclic. The theory is developed at the level of typed attributed graphs, and is motivated and illustrated by a case study translating UML activity diagrams to CSP.

Towards choreography model transformation via graph transformation

2011 ◽  
Author(s):  
Fenglin Han ◽  
Surya Bahadur Kathayat ◽  
Hien Le ◽  
Rolv Brek ◽  
Peter Herrmann
Keyword(s):  
Model Transformation ◽  
Graph Transformation

scholarly journals GRAPH TRANSFORMATION RULES FOR IFC-TO-CITYGML ATTRIBUTE CONVERSION

2019 ◽  
Vol IV-4/W8 ◽  
pp. 83-90 ◽  
Author(s):  
J. Lim ◽  
H. Tauscher ◽  
F. Biljecki
Keyword(s):  
Model Transformation ◽  
Graph Transformation ◽  
Conversion Process ◽  
The Novel ◽  
Building Projects ◽  
Transformation Rules ◽  
Information Models ◽  
Starting Point ◽  
Building Information ◽  
Graph Based Model

<p><strong>Abstract.</strong> In model transformation, the population of attributes on the target side constitutes the last step of the conversion process that carries over that part of the input which is often perceived as the most valuable actual information. We are employing a graph-based model transformation approach to convert building information models into geospatial city models. In this paper, we are reporting on different types of transformation rules to populate the attributes on CityGML side using information extracted from the IFC data. We document the various ways how attribute values can be stored in IFC and CityGML respectively and identify patterns that bridge these endpoints in the conversion process. These patterns lead to a set of prototypical graph transformation rules which have been applied to a range of building projects. The novel graph-based approach to IFC-to-CityGML conversion implicates an intuitive visual representation of these rules. This work can also serve as a starting point to convert IFC data to other formats or to populate CityGML from other data sources.</p>

scholarly journals Applying a Model Transformation Taxonomy to Graph Transformation Technology

2006 ◽  
Vol 152 ◽  
pp. 143-159 ◽  
Author(s):  
Tom Mens ◽  
Pieter Van Gorp ◽  
Dániel Varró ◽  
Gabor Karsai
Keyword(s):  
Model Transformation ◽  
Graph Transformation
Sign in / Sign up

Export Citation Format

Share Document