Composition of Model Transformations: A Categorical Framework

DOI10.1007/978-3-642-33296-8_13zbMATH Open1372.68181OpenAlexW146938686MaRDI QIDQ5200484FDOQ5200484

Authors: Christoph Schulz, Michael Löwe, Harald König 

Publication date: 6 November 2012

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-33296-8_13

Recommendations

• A categorical framework for the transformation of object-oriented systems: models and data
• scientific article; zbMATH DE number 2079669
• On the Specification and Verification of Model Transformations
• Model transformations as free constructions
• On the structure of transformation models
• A type-theoretic framework for certified model transformations

zbMATH Keywords

compositionmodel transformationdata synchronizationinstance migrationdata-schema co-evolution

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

Cited In (5)

• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• Title not available (Why is that?)
• A categorical framework for the transformation of object-oriented systems: models and data
• Theory and Applications of Models of Computation
• Model transformation and induced instance migration: a universal framework

This page was built for publication: Composition of Model Transformations: A Categorical Framework

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5200484)