Theory and Practice of Model Transformations: First International Conference, Icmt 2008, Eth Zurich, Switzerland, July 1-2, 2008, Proceedings by Antonio VallecilloTheory and Practice of Model Transformations: First International Conference, Icmt 2008, Eth Zurich, Switzerland, July 1-2, 2008, Proceedings by Antonio Vallecillo

Theory and Practice of Model Transformations: First International Conference, Icmt 2008, Eth Zurich…

byAntonio Vallecillo

Paperback | June 17, 2008

Pricing and Purchase Info

$136.95

Earn 685 plum® points

Prices and offers may vary in store

Quantity:

In stock online

Ships free on orders over $25

Not available in stores

about

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.
Title:Theory and Practice of Model Transformations: First International Conference, Icmt 2008, Eth Zurich…Format:PaperbackDimensions:261 pages, 23.5 × 15.5 × 0.01 inPublished:June 17, 2008Publisher:Springer-Verlag/Sci-Tech/TradeLanguage:English

The following ISBNs are associated with this title:

ISBN - 10:3540699260

ISBN - 13:9783540699262

Look for similar items by category:

Reviews

Table of Contents

Process and Engineering of Model Transformations.- Transformations Have to be Developed ReST Assured.- Lifting Transformational Models of Product Lines: A Case Study.- Model Synchronisation: Definitions for Round-Trip Engineering.- The Epsilon Transformation Language.- Model Transformations Supporting Concurrency and Time.- Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?.- On Specifying and Visualising Long-Running Empirical Studies.- Programmed Graph Rewriting with Time for Simulation-Based Design.- Matching and Mapping within Model Transformation Rules.- Live Model Transformations Driven by Incremental Pattern Matching.- Semantics-Based Weaving of UML Sequence Diagrams.- Translation of QVT Relations into QVT Operational Mappings.- Language Support for Model Transformation Reuse and Modularity.- Composition Techniques for Rule-Based Model Transformation Languages.- Approaches for Model Transformation Reuse: Factorization and Composition.- Code Generation by Model Transformation.- Application of Reflection in Model Transformation Languages.- Correctness and Analysis of Model Transformations.- Proofs-as-Model-Transformations.- Analysing Graph Transformation Rules through OCL.- Extracting Object Interactions Out of Software Contracts Using Model Transformations.