Conceptual Modeling of information systems
research Group (GMC)

EinaGMC | Version 1.0

 

 

 

 

 

Downloads & Documentation

XMI Converter allows conversion between XMI files from Poseidon to EinaGMC and from EinaGMC to Poseidon. The current version allows converting a subset of UML and OCL elements which is specified in the documentation.
Download
XMI Converter

Installation instructions : XMIConverter can be used in your own Java classes as a library. You only should download the jar file and set its location path in your classpath.

EinaGMC core is required.

Documentation
 
Javadoc API specification
 
User Guide (Language: Catalan)
Resources
  Main Program (Example of use)

 

XMI Edition Interface allows editing XMI files from EinaGMC and saving them to be used by EinaGMC.
Download
Stand-alone executable jar
Installation instructions : Download the jar file and execute it. Some operative systems allows execute it double-clicking it. Otherwise, open a command line interface and type java -jar XMIEditionInterface.jar. This executable jar file contains itself all the necessary libraries.
Documentation
 

Source code

(If you want to compile it from source, you need the EinaGMC core library)

 

CCC allows checking the satisfiability of conceptual schemas expressed in the format of EinaGMC.
Download
CCC library
 
Minos program
 
Ampl program

Installation instructions : CCC can be used in your own Java classes as a library. Download the jar file and set its location path in your classpath. Make sure that minos.exe and ampl.exe are located in the main directory of your Java project.

EinaGMC core is required.

Documentation
 
Javadoc API specification
 
Documentation (Language: Catalan)
Resources
  Main Program (Example of use)

 

XMI2DOT allows creating a DOT file with the graphical representation of the conceptual schema specified in an EinaGMC XMI file. Images (JPG, GIF, PNG...) can be generated from the DOT file using Graphviz tools. The current version allows converting a subset of UML elements which is specified in the documentation.
Download
XMI2DOT Converter
Installation instructions : XMI2DOT Converter can be used in your own Java Classes as a library. You only should download the jar file and set its location path in your classpath.
Documentation
 
Javadoc API specification
 
Link to Graphviz
Resources
  Main Program (Example of use)

 

   

Universitat Politècnica de Catalunya (UPC) | Universitat Oberta de Catalunya (UOC)
Departament de Llenguatges i Sistemes Informàtics | Information Systems section