Desarrollo de Software Basado en Componentes y Servicios

language Naturel Francais to OCL

🔍 vOCL te ayuda a verificar tus sentencias OCL de forma rápida y educativa.

Transform OCL to SHACL and ShEx

Extension of simplu3d to manage OCL rules

Validates JSON instances using Object Constraint Language

AspectOCL experiment data

Local mirror of Featherweight OCL entry of the Archive of Formal Proofs (AFP).

Maven artifacts for Eclipse OCL plugins

Exercicis resolts d'IES (2022-2023 Q1)

Inplace UML to UML Transformations

OCL grammar for lezer

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.

A collection of (toy) examples using OCL.

A repository for My CSE608 Course

Web Explorer for Object Constraint Language (in active development)

OCL to Python compiler

MPW Modeling Framework, which is based on a Model-Driven-Engineering approach to model mini world simulators like the hamster-simulator, with support of multiple target languages like Java and C++.