The first proposal on objects and morphisms of the software evolution category

Abstract

Category theory is a general tool, which can be used to express software engineering artifacts too. This paper focuses on two complementary artifacts: refactoring and evolution. The complementarity principle is explained as well as the generic picture on software evolution and refactoring are presented; the principles of symbolic execution are used in the equations of the proofs. Refactoring and evolution will be elements of the basic set of morphisms of the software evolution category, which is aimed to be the basis of a software evolution simulation model.