Zen-RUCM built on top of RUCM, aims to tackle the challenges of requirement specification and analysis in different application domains
Evolutionary Solver for OCL (EsOCL) is a practical and scalable search-based constraint solver for the Object Constraint Language (OCL) that provides a solution for various model-driven engineering problems.
iOCL (An Interactive OCL Writer Tool) is a web-based tool for writing OCL constraints in an interactive way.
Thank you for your interest in ZEN TOOLS.
For any inquiry about the content and tools presented in the website, please send emails to: