A categorical framework for the transformation of object-oriented systems: models and data

DOI10.1016/J.JSC.2010.09.010MaRDI QIDQ631577zbMATH OpenOpenAlexFDO

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

Publication date 14 March 2011

Published in Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jsc.2010.09.010

zbMATH Keywords

evolutiontransformationmigrationrefactoring

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Adjoint functors (universal constructions, reflective subcategories, Kan extensions, etc.) (18A40) General topics in the theory of data (68P01) Abstract data types; algebraic specification (68Q65)

Recommendations

• Composition of Model Transformations: A Categorical Framework
• The categorical framework of object-oriented concurrent systems
• Theory and Applications of Models of Computation
• A category theory approach to conceptual data modeling
• Algorithmic support for model transformation in object-oriented software development
• Applications of a categorical framework for conceptual data modeling
• Category-theoretic approach to software systems design

Cites work

• scientific article; zbMATH DE number 3888893 (Why is no real title available?)
• scientific article; zbMATH DE number 51770 (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?)
• Defining object-oriented execution semantics using graph transformations
• Fundamentals of algebraic graph transformation
• Graph Transformations
• Topoi. The categorial analysis of logic. Rev. ed

Cited in

(4)

• The PBPO graph transformation approach
• Composition of Model Transformations: A Categorical Framework
• Theory and Applications of Models of Computation
• Model transformation and induced instance migration: a universal framework

This page was built for publication: A categorical framework for the transformation of object-oriented systems: models and data

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