Theory and Practice of Model Transformations: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings

Front Cover
Springer Science & Business Media, Jun 17, 2008 - Computers - 259 pages
Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Models allow capturing of the relevant aspects of a system from a given perspective, and at a precise level of abstraction. In addition to models, the transformations between them are other key elements in model-driven engineering. Model transformations allow the de?nition and implementation of the operations on models, and also provide achainthatenablestheautomateddevelopmentofasystemfromitscorrespo- ing models. Furthermore, model transformations may be realized using models, and are, therefore, an integral part of any model-driven approach. There are already several proposals for model transformation speci?cation, implementation and execution, which are beginning to be used by modeling practitioners. However, model transformations need specialized support in s- eral aspects in order to realize their full potential. The problem goes beyond having speci?c languages to represent model transformations; we also need to understandtheirfoundations,suchasthekeyconceptsandoperatorssupporting those languages, their semantics, and their structuring mechanisms and pr- erties (e. g. , modularity, composability and parametrization). In addition, model transformations can be stored in repositories as reusable assets, where they can be managed, discovered and reused. There is also a need to chain and combine model transformations in order to produce new and more powerful transfor- tions, and to be able to implement new operations on models. Finally, model transformations need methodology support, i. e. , they need to be integrated into software development methodologies supported by appropriate tools and en- ronments. These issues and concerns de?ne the focus of these proceedings.
 

What people are saying - Write a review

We haven't found any reviews in the usual places.

Contents

Transformations Have to be Developed ReST Assured
1
A Case Study
16
Definitions for RoundTrip Engineering
31
The Epsilon Transformation Language
46
Bridging a Semantic Gap?
61
On Specifying and Visualising LongRunning Empirical Studies
76
Programmed Graph Rewriting with Time for SimulationBased Design
91
Live Model Transformations Driven by Incremental Pattern Matching
107
Composition Techniques for RuleBased Model Transformation Languages
152
Factorization and Composition
168
A Case Study in Transformation Modularity
183
Application of Reflection in Model Transformation Languages
199
ProofsasModelTransformations
214
Analysing Graph Transformation Rules through OCL
229
Extracting Object Interactions Out of Software Contracts Using Model Transformations
245
Author Index
260

SemanticsBased Weaving of UML Sequence Diagrams
122
Translation of QVT Relations into QVT Operational Mappings
137

Other editions - View all

Common terms and phrases

Bibliographic information