Representation of Changes in Ontology Driven Object Oriented Software using Categories

In order to address certain aspects of representation of changes in an ontology driven object-oriented software application we propose a method based on category theory as a mathematical notation, which is independent of a specific choice of ontology language and any particular implementation. In our research, we have focused on ontologies not in isolation but as artifacts that are part of object-oriented software and used to specify, model or document software systems. An ontology captures concepts descriptions in a domain of interest into classes or concepts and defines relationships among instances of those classes. Ontologies can be used to define a common shared understanding about a software application domain and associated tasks. Despite many differences between ontology and object oriented modeling [1], in some sense, ontologies can be viewed as a hierarchical structure of classes and objects in a software conceptual design phase. Therefore, some rules and definitions are applicable for both.