Validating Large Models with Mogwaï
Validate efficiently large models using OCL rewriting techniques and optimized database query generation using the Mogwaï tool.
Fixing defects in integrity constraints via constraint mutation
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: An open source Python API for statechart execution, validation and testing
Sismic is a lightweight approach for defining, validating and executing statecharts thanks to an open source API implemented in Python 3
Introducing Continuity: Drawing + Modelling
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
Executable UML Tutorial 4: Class/Logic Modeling
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.
The OCL repository (updated)
Check (and contribute to) the OCL repository in GitHub
Modeling: all you need to know
