Model Transformation and Induced Instance Migration: A Universal Framework

DOI10.1007/978-3-642-25032-3_1zbMath1349.68050OpenAlexW188614106MaRDI QIDQ3098049

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

Publication date: 11 November 2011

Published in: Formal Methods, Foundations and Applications (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-25032-3_1

zbMATH Keywords

model transformationrefactoringdata migrationagilityinitial semantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• AGG

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A categorical framework for the transformation of object-oriented systems: models and data
• Fundamentals of algebraic graph transformation
• A Diagrammatic Logic for Object-Oriented Visual Modeling
• Parallel Independence of Amalgamated Graph Transformations Applied to Model Transformation
• Categories for Software Engineering
• Sesqui-Pushout Rewriting
• Graph Rewriting in Span-Categories
• Aspects of topoi

This page was built for publication: Model Transformation and Induced Instance Migration: A Universal Framework