loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
Precise Model-Driven Transformations Based on Graphs and Metamodels
Hanoi, Vietnam
November 23-November 27
ISBN: 978-0-7695-3870-9
ASCII Text
x 
 
Duc-Hanh Dang, Martin Gogolla, "Precise Model-Driven Transformations Based on Graphs and Metamodels," Software Engineering and Formal Methods, IEEE International Conference on, pp. 307-316, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009.
 
 
BibTex
x
 
@article{ 10.1109/SEFM.2009.9,
author = {Duc-Hanh Dang and Martin Gogolla},
title = {Precise Model-Driven Transformations Based on Graphs and Metamodels},
journal ={Software Engineering and Formal Methods, IEEE International Conference on},
volume = {0},
year = {2009},
isbn = {978-0-7695-3870-9},
pages = {307-316},
doi = {http://doi.ieeecomputersociety.org/10.1109/SEFM.2009.9},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Software Engineering and Formal Methods, IEEE International Conference on
TI - Precise Model-Driven Transformations Based on Graphs and Metamodels
SN - 978-0-7695-3870-9
SP307
EP316
A1 - Duc-Hanh Dang,
A1 - Martin Gogolla,
PY - 2009
KW - Model-Driven Transformation
KW - Object Constraint Language (OCL)
KW - Graph Transformation
KW - Invariant
KW - Pre- and Postcondition
VL - 0
JA - Software Engineering and Formal Methods, IEEE International Conference on
ER -
 
Presenting precisely models and supporting automatic manipulation of models are at the heart of model-centric software development. A formal foundation for these tasks is a necessity as well as a challenge. We present a model-driven approach based on the integration of two light-weight formal methods, the Object Constraint Language (OCL) and Triple Graph Grammars (TGGs). OCL together with metamodeling allows us to present precisely models. With TGGs we can carry out model manipulations, especially model transformations. We focus on explaining the tool which realizes our approach. This tool is developed as an extension of the UML-based Specification Environment (USE), which offers full OCL support. A case study showing the transformation between statecharts and extended hierarchical automata explains our approach.
Index Terms:
Model-Driven Transformation, Object Constraint Language (OCL), Graph Transformation, Invariant, Pre- and Postcondition
Citation:
Duc-Hanh Dang, Martin Gogolla, "Precise Model-Driven Transformations Based on Graphs and Metamodels," sefm, pp.307-316, 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods, 2009
Usage of this product signifies your acceptance of the Terms of Use.