Theory and practice of model transformations

Beschreibung:

Models are crucial for managing the complexities of developing and maintaining IT systems, as they capture relevant system aspects from specific perspectives and levels of abstraction. Alongside models, transformations between them are vital in model-driven engineering, facilitating operations on models and enabling automated system development from corresponding models. Model transformations can also be represented using models, making them integral to any model-driven approach. While several proposals for the specification, implementation, and execution of model transformations are emerging, specialized support is necessary to unlock their full potential. This includes not just specific languages for representation but also a deep understanding of foundational concepts, operators, semantics, and properties such as modularity and composability. Additionally, model transformations can be stored as reusable assets in repositories for management and discovery. There is a need to chain and combine transformations to create new, more powerful ones and to implement novel operations on models. Finally, methodology support is essential for integrating model transformations into software development processes, supported by appropriate tools and environments. These issues define the focus of the proceedings. Bestandsnummer des Verkäufers d5dade54-0ef9-45ff-9cb4-bf8b29655586

Diesen Artikel melden

Inhaltsangabe:

Von der hinteren Coverseite:

This book constitutes the refereed proceedings of the First International Conference on Theory and Practice of Model Transformations, ICMT 2008, held in Zurich, Switzerland, in July 2008.

The 17 revised full papers presented were carefully reviewed and selected from 54 submissions. The scope of the contributions ranges from theoretical and methodological topics to implementation issues and applications. The papers include different issues related with: process and engineering of model transformations; model transformations supporting concurrency and time; matching and mapping within model transformation rules; language support for model transformation reuse and modularity; and correctness and analysis of model transformations.