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.
# 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
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.