From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations-Reference-Cited by-同舟云学术

From UML Activities to TAAL - Towards Behaviour-Preserving Model Transformations

Published: Issue: Volume: Page:94-109
ISSN:
Container-title:Model Driven Architecture – Foundations and Applications
language:
Short-container-title:

Author:

Engels Gregor,Kleppe Anneke,Rensink Arend,Semenyak Maria,Soltenborn Christian,Wehrheim Heike

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-69100-6_7.pdf

Reference23 articles.

1. Lecture Notes in Computer Science;D.H. Akehurst,2002

2. Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Workshop on Generative Techniques in the Context of Model-Driven Architecture (2003)

3. Object Management Group: Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification (2007), http://www.omg.org/cgi-bin/doc?ptc/2007-07-07

4. Lecture Notes in Computer Science;J.M. Küster,2007

5. Lecture Notes in Computer Science;H. Ehrig,2005

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. On the Application of Model-Driven Optimization to Business Processes;Lecture Notes in Computer Science;2024

2. Automatic verification of behavior preservation at the transformation level for relational model transformation;Software & Systems Modeling;2018-12-22

3. Model Transformation: A Survey of the State of the Art;Model-Driven Engineering for Distributed Real-Time Systems;2013-03-05

4. Towards Automatic Verification of Behavior Preservation for Model Transformation via Invariant Checking;Lecture Notes in Computer Science;2012

5. Formal Verification of QVT Transformations for Code Generation;Model Driven Engineering Languages and Systems;2011