Willkommen, schön sind Sie da!
Logo Ex Libris

Theory and Practice of Model Transformations

  • E-Book (pdf)
  • 261 Seiten
(0) Erste Bewertung abgeben
Bewertungen
(0)
(0)
(0)
(0)
(0)
Alle Bewertungen ansehen
Models have become essential for dealing with the numerous aspects involved in developing and maintaining complex IT systems. Mod... Weiterlesen
E-Books ganz einfach mit der kostenlosen Ex Libris-Reader-App lesen. Hier erhalten Sie Ihren Download-Link.
CHF 93.50
Download steht sofort bereit
Informationen zu E-Books
E-Books eignen sich auch für mobile Geräte (sehen Sie dazu die Anleitungen).
E-Books von Ex Libris sind mit Adobe DRM kopiergeschützt: Erfahren Sie mehr.
Weitere Informationen finden Sie hier.
Bestellung & Lieferung in eine Filiale möglich

Beschreibung

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.



Inhalt

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.

Produktinformationen

Titel: Theory and Practice of Model Transformations
Untertitel: First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings
Editor:
EAN: 9783540699279
Digitaler Kopierschutz: Wasserzeichen
Format: E-Book (pdf)
Hersteller: Springer Berlin Heidelberg
Genre: IT & Internet
Anzahl Seiten: 261
Veröffentlichung: 01.07.2008
Dateigrösse: 8.3 MB

Weitere Bände aus der Buchreihe "Lecture Notes in Computer Science"