Central Library

Normal view MARC view ISBD view

Theory and Practice of Model Transformations [electronic resource] : First International Conference, ICMT 2008, ETH Zürich, Switzerland, July 1-2, 2008, Proceedings / edited by Antonio Vallecillo, Jeff Gray, Alfonso Pierantonio.

Contributor(s): Vallecillo, Antonio [editor.] | Gray, Jeff [editor.] | Pierantonio, Alfonso [editor.] | SpringerLink (Online service).
Material type: materialTypeLabelBookSeries: Programming and Software Engineering: 5063Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2008Edition: 1st ed. 2008.Description: XII, 261 p. online resource.Content type: text Media type: computer Carrier type: online resourceISBN: 9783540699279.Subject(s): Computer science | Theory of Computation | Computer ScienceAdditional physical formats: Printed edition:: No title; Printed edition:: No titleDDC classification: 004.0151 Online resources: Click here to access online
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.
In: Springer Nature eBookSummary: 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.
    average rating: 0.0 (0 votes)
No physical items for this record

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.

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.

There are no comments for this item.

Log in to your account to post a comment.