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)