Alexey Tazin’s PhD Dissertation Defense

“Composition of UML Class Diagrams Using Category Theory and External Constraints”

Abstract:
In large software development projects there is always a need for refactoring and optimization of the design. Usually software designs are represented using UML diagrams (e.g class diagrams). A software engineering team may create multiple versions of class diagrams satisfying some external constraints. In some cases, subdiagrams of the developed diagrams can be selected and combined into one diagram. It is difficult to perform this task manually since manual process is very time consuming, is prone to human errors, and is not manageable for large projects. In this dissertation we present an algorithmic support for automating the generation of composed diagrams, where the composed diagram satisfies a given collection of external constraints and is optimal with respect to a given objective function. The composition of diagrams is based on the colimit operation from category theory. The developed approach was verified experimentally by generating random external constraints (expressed in SPARQL and OWL), generating random class diagrams using these external constraints, generating composed diagrams that satisfy these external constraints, and computing class diagram metrics for each composed diagram.

Committee:

Prof. Mieczyslaw Kokar (Advisor)

Prof. David Kaeli

Dr. Jeff Smith