Category Theoretic Approaches of Representing Precise UML Semantics

There have been a number of formal approaches for specifying UML semantics [2-4, 8-11]. Unlike these approaches, the purpose of this position paper is to present a case for the community defining precise UML semantics to consider category theoretic approaches for representing UML semantics based on the authors actual experiences. Category theory has been gaining popularity for formal approaches in software engineering. While many formal specification techniques provide the ability to describe the structure and behavior of specification objects, category theory explicitly captures relationships between specification objects. The motivation for considering a category theory based approach is: