Theory and Practice of Model Transformations Third International Conference, ICMT 2010, Malaga, Spain, June 28-July 2, 2010. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Tratt, Laurence (Επιμελητής έκδοσης), Gogolla, Martin (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.
• Σειρά: Lecture Notes in Computer Science, 6142
• Θέματα: Computer science.; Computer communication systems.; Computer programming.; Software engineering.; Programming languages (Electronic computers).; Computer logic.; Mathematical logic.; Computer Science.; Software Engineering.; Logics and Meanings of Programs.; Programming Languages, Compilers, Interpreters.; Computer Communication Networks.; Programming Techniques.; Mathematical Logic and Formal Languages.

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...

Πίνακας περιεχομένων:

• 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.