OWL 2 validation of UML class diagrams Files

=== Author ===

Małgorzata Sadowska 

Faculty of Computer Science and Management, 
Wroclaw University of Science and Technology, Wybrzeże Wyspiańskiego 27, 50-370 Wrocław, Poland. 
E-mail: m.sadowska@pwr.edu.pl.


=== License ===

All rights reserved by the author but free for non-commercial usage



=== The description of the tool === 

The presented tool, called ONTOOL, allows for creating UML class diagrams on the basis of the selected OWL domain ontologies, and verifying if the diagrams are compliant with the ontologies. The tool additionally allows for normalizing any syntactically correct and consistent ontology expressed in OWL. 
                                                                             
ONTOOL has been tested with a number of test cases, and empirically evaluated through conducting an experiment. 
                                                                                                                                                                             
ONTOOL has been implemented as a proof of concept of the methods proposed in the author's Doctoral Thesis titled: "Creating and validating UML class diagrams with the use of domain ontologies expressed in OWL 2", 2020. The detailed description of the tool is available in Chapter 9 of the author's Doctoral Thesis. 

Additionally, the prototype version of the tool is described in the article: 
M. Sadowska, ‘A Prototype Tool for Semantic Validation of UML Class Diagrams with the Use of Domain Ontologies Expressed in OWL 2’, In Towards a Synergistic Combination of Research and Practice in Software Engineering. Springer, Cham, pp. 49–62, 2018.



=== The installation procedure of the developed tool ===  

ONTOOL has been implemented in Java language and consists of two parts: the server which is a runnable JAR file and the client which has been developed as a plugin to Visual Paradigm for UML. Both parts communicate through a socket. 

The following is the installation procedure of the tool plugin to Visual Paradigm Community Edition in the version 14.1:
1.	Enter in "C:\Users\UserName\AppData\Roaming\VisualParadigm"
2.	Create "plugins" folder (it does not exist by default). Please note that some older versions of Visual Paradigm may have a different place for setting the "plugins" folder.
3.  Extract pwr.vp.plugin.uml.validation.zip files 
4.	Upload the full folder with the plugin's files ("pwr.vp.plugin.uml.validation" folder) to the "plugins" folder
5.	Enter in "C:\Program Files\Visual Paradigm CE 14.1\bin" and upload the "plugin.uml.validation.properties" file and the tool server: UMLClassDiagramServer.jar to this folder 
6.	Run executable JAR file of the tool server: UMLClassDiagramServer.jar
Please note that in some cases, it is necessary to add an exception in the antivirus software, due to the fact that the tool works on the client-server socket communication and not every antivirus software allows running such software.
7.	Run "Visual Paradigm.exe"
By default, the developed tool works on port number 9876. The default port can be changed; it is explained in Section 9.6.3 B of the doctorial dissertation.

The plugin has been developed and tested on Visual Paradigm Community Edition in the version 14.1. The tool is designed for Windows operating system.