finitesatuse

We have hosted the application finitesatuse in order to run this application in our online workstations with Wine or directly.

Quick description about finitesatuse:

FiniteSatUSE is a tool that provides correctness methods for UML class diagrams. It uses the USE System syntax for specification of the class diagrams.

Features:

• Detection method for finite satisfiability problems.
• Identification methods for finite satisfiability problem causes.
• Identification method for class hierarchy cycles for which the finite satisfiability method provides only partial results.
• A method for propagation of hidden disjoint and incomplete generalization set constraints
• A method for removing redundancies in multiplicity constraints

Audience: Science/Research, Developers.
User interface: Command-line.
Programming Language: Java.

.