Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.

Model transformations are the glue that tie modelling activities together. If you’ve used modelling in anger then, whether you know it or not, you’ve used model transformations. They come in all shapes and sizes from moving models between di?erent tools to generating implementations. Model transform...

Full description

Saved in:

Bibliographic Details
Corporate Author:	SpringerLink (Online service)
Other Authors:	Tratt, Laurence (Editor), Gogolla, Martin (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2010.
Edition:	1st ed. 2010.
Series:	Programming and Software Engineering ; 6142 Springer eBook Collection.
Subjects:	Software engineering. Computer logic. Programming languages (Electronic computers). Computer communication systems. Computer programming. Mathematical logic. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.

Table of Contents:

Invited Paper
Search Computing: A Model-Driven Perspective
Research Papers
Domain-Specific Composition of Model Deltas
Temporal Model-Based Diagnostics Generation for HVAC Control Systems
Synthesis of OCL Pre-conditions for Graph Transformation Rules
From State- to Delta-Based Bidirectional Model Transformations
A Constructive Approach to Testing Model Transformations
From Sequence Diagrams to State Machines by Graph Transformation
Safe Composition of Transformations
Towards Incremental Execution of ATL Transformations
Constructing and Navigating Non-invasive Model Decorations
Model-to-Model Transformations By Demonstration
Implementing Business Process Recovery Patterns through QVT Transformations
Model Migration with Epsilon Flock
Exceptional Transformations
Improving Higher-Order Transformations Support in ATL
Towards a Rewriting Logic Semantics for ATL
Metamodel Matching Based on Planar Graph Edit Distance
Surviving the Heterogeneity Jungle with Composite Mapping Operators.

Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings / edited by Laurence Tratt, Martin Gogolla.

Similar Items