A Tool for Collaborative Consistency Checking During Modeling (dataset)

This dataset contains a few snapshots as well as the jar files for the tools (server and client).

It also contains a image displayng the metamodel representation of the streamlined language (Metamodel-sUML) which is used to define the models created by our sUML modeler.

Running the tools:

Requirements: 

Windows 10/11

JDK 21 or above

How to run the server and add rules:

Run the DesignSpace-Server

On the top menu, click Consistency > Rule Editor 

To add a new rule, select a Language (sUMLv3) and an instance type (e.g., Class)

Add a name for the rule

Add a definition for the rule (use the ARL language (https://isse.jku.at/designspace/index.php/Abstract_Rule_Language) and the properties of the UML metamodel

Always click validate (if there are erros in the rule defintioj, check the log)

If no erros are found, the rule is created.

Run the modeler tools:

When running an instance of the sUML-Modeler, you need to select a user (currently there are four users, more can be added using the DesignSpace server)

To connect multiple tools, select different users (selecting the same user will close the previously connected tool as each user can only connect once)

Always create a root model before adding other diagrams

For changes to be sent to the server, select DesignSpace > Commit from the tool menu

The option DesignSpace > Update will pull changes (in case they exist)

To enable the highlighting of inconsistencies, select Validate > Display Inconsistencies

Sample rules:

Instance Type: class

Name: A class must have unique operations

self.operations->forAll(o1, o2 | o1 <> o2 implies o1.name <> o2.name)

Instance Type: class

Name: A class must have unique attributes

self.attributes->forAll(a1, a2 | a1 <> a2 implies a1.name <> a2.name)