XModeler Tooling

This repository contains the source code for various executables working with XModeler files. It originally grew out of the Bachelor thesis of Ashraf Hashash, then was extended using our CD2Alloy implementation.

Installation

Download and install the following tools (while making sure their executables end up on the system PATH):

• Haskell Tool Stack
• Graphviz
• any Java Runtime Environment supporting the Alloy Analyzer
• (no need to install Alloy itself since it will be included behind the scenes via a Haskell binding)

Download the code of the xmodeler-tooling repository, e.g., via git clone https://github.com/fmidue/xmodeler-tooling.git or per "Download ZIP".

Then, in a shell:

cd xmodeler-tooling
stack build

This can take quite a while, but you only need to do it once. (And even if you later do it a second time, for example after a git pull to get any code updates from the repository, it should usually be much faster since the Haskell compiler and library dependencies will already be on your system from the first run.)

Usage (any time after installation)

In a shell, to generate XML files to be loaded into XModeler:

cd xmodeler-tooling
stack exec generateRandomMLMs

The user prompts and outputs are hopefully somewhat self-explanatory.

In a shell, to read and check validity of an XML file exported from XModeler:

cd xmodeler-tooling
stack exec checkValidityOfMLM filename.xml

In a shell, to read - re-layout - write an XModeler-XML file:

cd xmodeler-tooling
stack exec reLayoutAnMLM filename.xml

In a shell, to populate an existing MLM:

cd xmodeler-tooling
stack exec populateAnMLM filename.xml

In a shell, to populate a UML class/object diagram via Alloy:

cd xmodeler-tooling
stack exec useAlloyToPopulateCdOd filename.xml