Paper published in a book (Scientific congresses, symposiums and conference proceedings)
Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars
Hermann, Frank; Ehrig, Hartmut; Golas, Ulrike et al.
2010In Bézivin, Jean; Soley, R.M.; Vallecillo, A. (Eds.) Proc. Int. Workshop on Model Driven Interoperability (MDI'10)
Peer reviewed
 

Files


Full Text
p22-hermann.pdf
Publisher postprint (1.21 MB)
Request a copy

All documents in ORBilu are protected by a user license.

Send to



Details



Keywords :
functional behaviour; model transformation; triple graph grammars
Abstract :
[en] Triple Graph Grammars are a well-established, formal and intuitive concept for the specification and analysis of bidirectional model transformations. In previous work we have formalized and analyzed already termination, correctness, completeness, local confluence and functional behaviour. In this paper, we show how to improve the efficiency of the execution and analysis of model transformations in practical applications by using triple rules with negative application conditions (NACs). In addition to specification NACs, which improve the specification of model transformations, the generation of filter NACs improves the efficiency of the execution and the analysis of functional behaviour supported by critical pair analysis of the tool AGG. We illustrate the results for the well-known model transformation from class diagrams to relational database models.
Disciplines :
Computer science
Author, co-author :
Hermann, Frank ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Ehrig, Hartmut
Golas, Ulrike
Fernando, Orejas
Language :
English
Title :
Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars
Publication date :
2010
Event name :
Int. Workshop on Model Driven Interoperability (MDI'10)
Event place :
Oslo, Norway
Event date :
2010
Main work title :
Proc. Int. Workshop on Model Driven Interoperability (MDI'10)
Editor :
Bézivin, Jean
Soley, R.M.
Vallecillo, A.
Publisher :
ACM
ISBN/EAN :
978-1-4503-0292-0
Collection name :
MDI'10
Pages :
22--31
Peer reviewed :
Peer reviewed
Available on ORBilu :
since 05 September 2013

Statistics


Number of views
62 (1 by Unilu)
Number of downloads
0 (0 by Unilu)

Scopus citations®
 
38
Scopus citations®
without self-citations
22
OpenCitations
 
22

Bibliography


Similar publications



Contact ORBilu