Towards OntoUML for Software Engineering: Optimizing Kinds and Subkinds Transformed into Relational Databases

Model-driven development approach to software engineering requires precise models defining as much of the system as possible. OntoUML is a conceptual modelling language based on UFO, which provides constructs to create ontologically well-founded and precise conceptual models. In the approach we utilize, OntoUML is used for making conceptual models of software application data. Such a model is then transformed into its proper realization in a relational database, preserving all the implicit constraints defined by various types of universals and relations in the original OntoUML model. In this paper, we discuss possible optimizations of the transformation of Kinds and Subkinds – rigid sortal universal types, a backbone of OntoUML models.