OpenCL for Rust
-
Updated
Apr 5, 2024 - Rust
OpenCL for Rust
The Object Constraint Language (OCL) is a language for describing rules that apply to MOF conform modelling languages like UML. The OCL is a text based language that provides constraint and object query expressions that cannot be expressed by a meta modelling language.
Home of the UML-based Specification Environment (USE)
Deprecated. Please see https://github.com/OpenConceptLab/oclweb2
QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.
B-OCL is a tool designed to parse and evaluate the OCL constraints designed on BESSER models. It is a python based implementation, that utilises parser and listener generated with the ANTLR4 grammer.
Validates JSON instances using Object Constraint Language
Issues for all OCL repos. NOTE: Install ZenHub Browser Extension and request access to the OCL Roadmap board to view all issues and to contribute
Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).
Web Explorer for Object Constraint Language (in active development)
Add a description, image, and links to the ocl topic page so that developers can more easily learn about it.
To associate your repository with the ocl topic, visit your repo's landing page and select "manage topics."