OCL in Choco

AIMT : OCL 2 CSP 4 ATLc

OCL nodes modeled as CSPs using Choco-Solver And models for UML Object Properties to solve OCL Constraints upon.

How get Lib

# download latest version
git submodule add [email protected]:ArtemisLemon/OCLinChoco.git OCLinChoco
# update
git submodule update --remote

//add to settings.gradle
include('OCLinChoco:lib')

//add to build.gradle
dependencies {
    implementation project(':OCLinChoco:lib')
}

examples:

• example project using lib
• ZooSolver building CSPs from .xcore and .atl

Variables as Pointers

The foundation of these CSP models is encoding references with integer variables lists.

• See ReferenceTable for model of UML (.xcore)
• See NavCSP for navigation model, key to modeling ocl queries and structural constraints upon them.