scholarly journals Specification and Verification of Graph-Based Model Transformation Properties

2014 ◽  
pp. 113-129 ◽  
Author(s):  
Gehan M. K. Selim ◽  
Levi Lúcio ◽  
James R. Cordy ◽  
Juergen Dingel ◽  
Bentley J. Oakes
Keyword(s):  
Model Transformation ◽  
Specification And Verification ◽  
Graph Based Model

scholarly journals Comparison of Graph-based Model Transformation Rules.

2020 ◽  
Vol 19 (2) ◽  
pp. 3:1
Author(s):  
Alexander Schultheiß ◽  
Alexander Boll ◽  
Timo Kehrer
Keyword(s):  
Model Transformation ◽  
Transformation Rules ◽  
Graph Based Model

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 Efficient Detection of Conflicts in Graph-based Model Transformation

2006 ◽  
Vol 152 ◽  
pp. 97-109 ◽  
Author(s):  
Leen Lambers ◽  
Hartmut Ehrig ◽  
Fernando Orejas
Keyword(s):  
Model Transformation ◽  
Efficient Detection ◽  
Graph Based Model

A Methodology of Model Transformation in MDA: from CIM to PIM

2015 ◽  
Vol 10 (12) ◽  
pp. 1186 ◽  
Author(s):  
Yassine Rhazali ◽  
Y. Hadi ◽  
A. Mouloudi
Keyword(s):  
Model Transformation
Sign in / Sign up

Export Citation Format

Share Document