Model transformation and induced instance migration: a universal framework

DOI10.1007/978-3-642-25032-3_1MaRDI QIDQ3098049zbMATH OpenOpenAlexFDO

Authors Harald König, Michael Löwe, 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

refactoringmodel transformationdata migrationagilityinitial semantics

Mathematics Subject Classification ID

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

Recommendations

• A categorical framework for the transformation of object-oriented systems: models and data
• Composition of Model Transformations: A Categorical Framework
• A model-based development approach for model transformations
• scientific article; zbMATH DE number 1946737
• Model transformations across views

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 195102 (Why is no real title available?)
• scientific article; zbMATH DE number 1929900 (Why is no real title available?)
• scientific article; zbMATH DE number 776168 (Why is no real title available?)
• A categorical framework for the transformation of object-oriented systems: models and data
• A diagrammatic logic for object-oriented visual modeling
• Aspects of topoi
• Categories for Software Engineering
• Fundamentals of algebraic graph transformation
• Graph rewriting in span-categories
• Parallel independence of amalgamated graph transformations applied to model transformation
• Sesqui-Pushout Rewriting

Cited in

(4)

• Strongly typed rewriting for coupled software transformation
• GREAT: UML transformation tool for porting middleware applications
• Synchronizing model and program refactoring
• \textit{RuleMerger}: automatic construction of variability-based model transformation rules

Describes a project that uses

Uses Software

• AGG

This page was built for publication: Model transformation and induced instance migration: a universal framework

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