Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï tool.
Defining the right constraints for any system is a challenging task that risks over-constraining or under-constraining the data. Our method helps designers to find the proper constraints by automatically mutating them to fit the sample data
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
Continuity is a drawing and a modeling tool at the same time and tries to combine the best of both worlds to help you create beautiful formal models
Learn how to model classes (and their logic) in this next chapter of our Executable UML tutorial. Via an illustrative example, you’ll learn all the trade-offs you must consider when identifying, naming and modeling the main concepts of your system.
Check (and contribute to) the OCL repository in GitHub