The library can transform any valid OntoUML model into a SQL script that instantiates an empty database, which can store data described by the conceptual model. All constraints implied by the OntoUML model are transformed to database triggers to ensure data consistency.
The transformation is executed in three stages:
-
OntoUML to UML. All class and relationship stereotypes are supported, supports optimization of phases, roles, relators and generalization sets.
-
UML to RDB. Classes, attributes, associations, generalizations, generalization sets and enumerations are supported.
-
RDB to SQL. Tables, columns, primary, unique, foreign keys and derived OCL constraints are supported.
Moco supports PostgreSQL, Oracle, Microsoft SQL Server and MySQL as the target relational database platform.
The library generates an Alloy specification from any valid OntoUML model, which can be used to verify that the model is instantiable and to generate example instances in the Alloy Analyzer.
The modal aspects of OntoUML are verified by using instances of a World signature that correspond to different points in the life-time of the model (Benevides, 2010).
To succesfully execute the verification, the transformed Alloy specification must be placed into a skeleton. Additionally, the World Structure and Ontological Properties modules must be available. All three artifacts are attached in the docs/alloy directory in this repository.
This library is primarily intended to be used as a plugin to OpenPonk — a modeling tool that supports OntoUML. A prebuilt distribution of OpenPonk that includes Moco is available at gitlab.fit.cvut.cz/jaburjak/openponk-moco.
The transformation can be invoked by menu Diagram » Moco » Transform to SQL (or Alloy).
For the SQL transformation, the target platform (PostgreSQL, Oracle, MSSQL or MySQL) can be selected in the Settings Browser.
You can use Metacello to load the library, as shown below. Moco can be used even outside OpenPonk; in that case, you won’t be able to use the Moco-OpenPonk package.
Metacello new baseline: 'Moco';
repository: 'github://jaburjak/moco:main';
load.Currently, OpenPonk 4.1.3 and Pharo 12 are supported.
Created by Jakub Jabůrek, released under the MIT License. Please see the LICENSE file for more information.
-
The approach for the transformation of OntoUML to Oracle SQL was developed by Dr. Zdeněk Rybola in his Ph.D. thesis Towards OntoUML for Software Engineering: Transformation of OntoUML into Relational Databases (2017).
-
The approach for the transformation of OntoUML to Alloy was developed by Dr. Tiago P. Sales in their Ph.D. thesis Ontology Validation for Managers (2014).