Do you think that careful business analysis is the foundation for the success of large software projects? Do you have different staff for business analysis, software design, coding, testing and writing documentation? Do you think that avoiding implementation errors is better than finding errors during test?

The de facto standard for describing the results of business analysis and software design is the Unified Modeling Language (UML). The UML contains a language for specifying expressions that can be used manifold to improve the precision of your models, thus making your development more efficient and less error prone. These expressions significantly improve the precision of a UML model by complementing the wider known diagrams and use cases. Thus more information about the business domain can be acquired by your business analysts and made available for designers, coders, testers and documentation writers.
Expressions are written in Object Constraint Language (OCL) which is a formal language that is both powerful and easy to write and read (learn more about the benefits of using OCL).

Oclarity provides a powerful and highly productive environment for editing and checking OCL expressions.