Reference : Efficient Analysis and Execution of Correct and Complete Model Transformations Based ...

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/5607

Title :	Efficient Analysis and Execution of Correct and Complete Model Transformations Based on Triple Graph Grammars
Language :	English
Author, co-author :	Hermann, Frank [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Ehrig, Hartmut [> >]
	Golas, Ulrike [> >]
	Fernando, Orejas [> >]
Publication date :	2010
Main document title :	Proc. Int. Workshop on Model Driven Interoperability (MDI'10)
Editor :	Bézivin, Jean
	Soley, R.M.
	Vallecillo, A.
Publisher :	ACM
Collection and collection volume :	MDI'10
Pages :	22--31
Peer reviewed :	Yes
ISBN :	978-1-4503-0292-0
Event name :	Int. Workshop on Model Driven Interoperability (MDI'10)
Event date :	2010
Event country :	Oslo, Norway
Keywords :	[en] 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.
Permalink :	http://hdl.handle.net/10993/5607
DOI :	10.1145/1866272.1866277
Other URL :	http://tfs.cs.tu-berlin.de/publikationen/Papers10/HEGO10.pdf

	File(s) associated to this reference
	Fulltext file(s): File Commentary Version Size Access Limited access p22-hermann.pdf Publisher postprint 1.18 MB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map