Published July 12, 2024 | Version v1
Dataset Open

A Tool for Collaborative Consistency Checking During Modeling (dataset)

Authors/Creators

  • 1. ROR icon Johannes Kepler University of Linz
  • 2. ROR icon North Carolina State University

Description

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:
 
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)

 

Files

inconsistency.PNG

Files (216.0 MB)

Name Size Download all
md5:98d1e70194095e015fa06f16387b2cb5
108.7 MB Download
md5:9734d7a9ac862b7799c58149945480ba
46.5 kB Preview Download
md5:03e6c9c6f38e90fddf045cc0cb6bfca2
235.8 kB Preview Download
md5:89028468aed3f4300d63cefde39e1cf6
1.6 kB Preview Download
md5:61071f3c293aa0f2d59dcf4a5a0b4b03
25.3 kB Preview Download
md5:0233b515ef799715b4ca1c0c8efb2698
17.7 kB Preview Download
md5:c9148a223ed0720e13e550ddf036dfaa
107.0 MB Download

Additional details

Dates

Available
2024-07-11