Reference : On-the-Fly Construction, Correctness and Completeness of Model Transformations based ...
Scientific congresses, symposiums and conference proceedings : Paper published in a book
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/5601
On-the-Fly Construction, Correctness and Completeness of Model Transformations based on Triple Graph Grammars
English
Ehrig, Hartmut [> >]
Ermel, Claudia [> >]
Hermann, Frank mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Ulrike, Prange [> >]
2009
ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems (MODELS'09)
Schürr, Andy
Selic, Bran
Springer
Vol. 5795 of Lecture Notes in Computer Science (LNCS)
241--255
Yes
ACM/IEEE 12th Int. Conf. on Model Driven Engineering Languages and Systems
09-2009
Denver, Colorado, USA
[en] Triple graph grammars (TGGs) are a formal and intuitive concept for the specification of model transformations. Their main advantage is an automatic derivation of operational rules for bidirectional model transformations, which simplifies specification and enhances usability as well as consistency. In this paper we continue previous work on the formal definition of model transformations based on triple graph rules with negative application conditions (NACs). The new notion of partial source consistency enables us to construct consistent model transformations on-the-fly instead of analyzing consistency of completed model transformations. We show the crucial properties termination, correctness and completeness (including NAC-consistency) for the model transformations resulting from our construction. Moreover we define parallel independence for model transformation steps which allows us to perform partial-order reduction in order to improve efficiency. The results are applicable to several relevant model transformations and in particular to our example transformation from class diagrams to database models.
http://hdl.handle.net/10993/5601
http://www.springerlink.com/index/j22k27g63p51v388.pdf

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
10.1007_978-3-642-04425-0_18.pdfPublisher postprint425.84 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.