squam.info

Systematic Quality Assessment of Models

Project Statistics

offers user a textual and graphical overview of projects. Calculates entities such as number of libraries, definitions per library, lines of code and so on.


Show where a definition is used

shows on demand all places where a definition is used and allows user to navigate to this elements.


Warnings for definitions

checks on demand for a project if definitions are

used in queries and tests
documented

The results are represented as warnings.


Debugging/OCL Expression Tracing

possibility of in-editor context instantiation and evaluation of complete or partial OCL expressions. All evaluation steps and results are displayed in the console.

Click on the link below to see a flash demo about how to trace ocl expressions.
2009-09-09-ocl-tracing


Templates

support increases user satisfaction and effectiveness. defined for typical OCL expressions (e.g. for patterns) and for concepts related to OCL libraries (our extension). Currently it is implemented for the library extension with additional mechanism enabling user defined templates.


top