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

DOI10.1016/j.jsc.2010.09.010zbMath1211.68259OpenAlexW2004865084MaRDI QIDQ631577

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

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

migrationtransformationevolutionrefactoring

Mathematics Subject Classification ID

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

Related Items

The PBPO graph transformation approach ⋮ Model Transformation and Induced Instance Migration: A Universal Framework

Cites Work

• Topoi. The categorial analysis of logic. Rev. ed
• Fundamentals of algebraic graph transformation
• Defining Object-Oriented Execution Semantics Using Graph Transformations
• Graph Transformations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item