Tool information
Incremental OCL
This tool provides several features to get an efficient (incremental) evaluation of the OCL constraints defined in an UML conceptual schema. These features help to (automatically) generate an efficient implementation of the schema in any final technology platform. The first prototype can be downloaded from here.
UML to SBVR and Natural Language transformations
A set of ATL tranformations to transform UML models into an SBVR representation. From this SBVR representation additional MofScript transformations generate natural language expressions (in Structured English) that describe the UML model and that can be used, among other goals, to validate it. Check out the tool here.
OCL transformations
Here you can find a tool to generate a set of (semantically-equivalent) alternative representations for a given OCL constraint. This alternatives are useful to assist the designer when defining the integrity constraints of a Conceptual Schema (i.e. a Platform-Independent Model) or in several of the tranformation scenarios proposed in the MDA vision.
UMLtoCSP: A tool for the formal verification of UML/OCL models using Constraint Programming
Here you can find the UMLtoCSP tool. UMLtoCSP is a tool for the automatic verification of UML class diagrams annotated with OCL constraints. It can check automatically several correctness properties about the model, such as the satisfiability of the model or the lack of contradictory constraints. The inputs of the tool are an XMI file with an UML class diagram and a text file with OCL constraints. After selecting the correctness property to be verified, it translates those inputs into a Constraints Satisfaction Problem (CSP) in the format of the ECLiPSe constraint solver. Solving the CSP leads to an instantiation of the class diagram that proves or disproves the correctness property.