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
License
Academic Free License (AFL)Follow FiniteSatUSE
You Might Also Like
Rate This Project
Login To Rate This Project
User Reviews
-
did not start