Composition of Model Transformations: A Categorical Framework

DOI10.1007/978-3-642-33296-8_13MaRDI QIDQ5200484zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

compositionmodel transformationdata synchronizationinstance migrationdata-schema co-evolution

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65)

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

Cited in

(5)

• A Categorical Approach to Mereology and Its Application to Modelling Software Components
• scientific article; zbMATH DE number 1946737 (Why is no real title available?)
• 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)