A categorical framework for the transformation of object-oriented systems: models and data
type: Item
instance of: scholarly article
title: A categorical framework for the transformation of object-oriented systems: models and data
zbMATH Open document ID: 1211.68259
author: Christoph Schulz
author: Michael Löwe
author: Harald König
published in: Journal of Symbolic Computation
publication date: 2011-03-14T00:00:00Z
Mathematics Subject Classification ID: 68Q65
Mathematics Subject Classification ID: 18A40
Mathematics Subject Classification ID: 68P01
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 5865430
zbMATH Keywords: refactoring
zbMATH Keywords: evolution
zbMATH Keywords: transformation
zbMATH Keywords: migration
MaRDI profile type: Publication
full work available at URL: j.jsc.2010.09.010
OpenAlex ID: W2004865084
cites work: Graph Transformations
cites work: Fundamentals of algebraic graph transformation
cites work: Q3221381
cites work: Q4708513
cites work: Topoi. The categorial analysis of logic. Rev. ed
cites work: Defining Object-Oriented Execution Semantics Using Graph Transformations
cites work: Q4840146
cites work: Q4002149
DOI: 10.1016/J.JSC.2010.09.010
Recommended article: Composition of Model Transformations: A Categorical Framework
Recommended article: The categorical framework of object-oriented concurrent systems
Recommended article: Theory and Applications of Models of Computation
Recommended article: A category theory approach to conceptual data modeling
Recommended article: Algorithmic support for model transformation in object-oriented software development
Recommended article: Applications of a categorical framework for conceptual data modeling
Recommended article: Category-theoretic approach to software systems design
description: scientific article; zbMATH DE number 5865430