ocl

There are 1 repository under ocl topic.

• cogciprocate / ocl

  OpenCL for Rust

  opencl-libraryopencl-apirustgpgpuoclamdnvidiaintelasyncscientific-computing
  Language:Rust 698

• SteKoe / ocl.js

  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.

  constraint-languageconstraintsjavascriptlanguageoclocl-expression
  Language:TypeScript 51

• Open-MBEE / exec-cameo-mdk

  Cameo plugin for MMS sync and DocGen

  docbookjavamagicdrawmbeembsemdkmmsoclopenmbeesysml
  Language:Java 50

• useocl / use

  Home of the UML-based Specification Environment (USE)

  umloclmodelingvalidationverification
  Language:Java 32

• aranega / pyecoreocl

  OCL to Python compiler

  compilerecoremddmdeoclpython
  Language:Python 10

• classicwuhao / qmaxuse

  QMaxUSE: A query-based verification tool for verifying UML class diagrams with extreme size of OCL invariants.

  maxuseverificationumlz3-smt-solverrankinginvariantsmetamodelqueryconcurrentoclqmaxusecvc5
  Language:SMT 10

• eclipse / agileuml

  AgileUML tools for MDE using UML

  agileocluml
  Language:Java 10

• OpenConceptLab / ocl_web

  Deprecated. Please see https://github.com/OpenConceptLab/oclweb2

  healthcareterminology-managementpythonocldjango
  Language:Python 10

• atlanmod / Mogwai

  Automatic translation from OCL to Gremlin

  oclgremlinneoemfquery
  Language:Java 9

• fblupi / master_informatica-DSS

  Repositorio de la asignatura Desarrollo de Sistemas de Software basados en Componentes y Servicios del Máster de Ingeniería Informática de la UGR

  androidbpelocltomcatjerseyderbyeclipselinkeclipsemavenoracle-jdkjava
  Language:Java 6

• HiltonRoscoe / semval

  Validates JSON instances using Object Constraint Language

  common-data-formatjson-instancesmbsemdaocl
  Language:TypeScript 6

• logicalhacking / ocl-examples

  A collection of (toy) examples using OCL.

  benchmarkhol-oclocluml
  5

• compor / SNU_NPB

  NAS benchmark suite source

  benchmarksuitenasanasparallelompserialocl
  Language:C 4

• OpenConceptLab / ocl_issues

  Consolidated 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

  ocl
  4

• logicalhacking / Featherweight_OCL

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

  oclformal-proofsfirewallholverificationholoclisabelle-hol
  Language:Isabelle 3

• OpenConceptLab / ocldev

  Python development library for working with OCL resources and APIs

  ocl
  Language:Python 3

• quasarresearchgroup / m2dm

  Metamodel Driven Measurement (M2DM) Tool for Java

  javametamodelmetricsocl
  Language:Java 2

• 21albertoff / vOCL

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

  analizador-lexicoanalizador-sintacticoocl
  Language:CSS 1

• AresEkb / Safe_OCL

  ocl
  Language:Isabelle 1

• chavezbosquez / laws-nutrition-ocl

  Model of the "Laws of Correct Nutrition" using USE-OCL

  constraintsmodelnutritionocluml
  Language:Batchfile 1

• DWB-eHealth / msfocp-source

  MSFOCP concepts for OCL source

  bahmniconceptscontent-managementehealthelectronic-medical-recordsemroclopenconceptlabopenmrsterminology
  1

• Horrykram / Text-to-OCL-Francais

  language Naturel Francais to OCL

  oclocl-expressionpythonnlptrigger
  Language:Python 1

• marc-chatroux-elmarcofr38 / Imbriqua_OMG_Resources

  Available resource file from Object Management Group® (BPMN™, DD™, MOF™, OCL™, UML®, XMI®)

  archivebpmnddmofoclomgressourceumlxmiobject-management-group
  Language:XSLT 1

• OctopusDeploy / vscode-octopusdeploy

  | Public | Octopus Deploy for Visual Studio Code :octopus:

  syntax-highlightingvisual-studiooctopus-deployvscodevscode-extensionoclpublic
  Language:TypeScript 1

• OpenConceptLab / ocl_omrs

  Importer for OpenMRS concept dictionary into OCL.

  oclopenmrs
  Language:Python 1

• SimPLU3D / simplu3D-ocl

  Extension of simplu3d to manage OCL rules

  oclocl-rulesregulationssimulation
  Language:Java 1

• SOM-Research / uncertain-ocl

  A DSL for expressing uncertainty in OCL integrity constraints

  dslocluncertainty
  Language:Java 1

• SQAHamster / mpw-modeling-framework

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

  eclipsexpandjavacppemfhenshinocl
  Language:Java 1

• SteKoe / ocl.js-docs

  This is the documentation package to OCL.js (https://github.com/SteKoe/ocl.js)

  oclmachine-learningjavascriptdocumentation
  Language:JavaScript 1

• stu115 / hk.net

  Software for employees reading emails in Hill and Knowlton.

  classdiagramclassesconstraintsjavaoclprogrammingsequence-diagramsoftware-engineeringusecase
  Language:Java 1

• unveiling / unveiling-ocl

  Maven artifacts for Eclipse OCL plugins

  emfmavenocl
  1

• guionwind / FIB-IES

  Exercicis resolts d'IES (2022-2023 Q1)

  fibfib-upciesoclumluml-class-diagram
  0

• hassansartaj / aocl

  AspectOCL experiment data

  research-paperexperimental-dataoclaspect-oriented
  0

• kaichiro / Omnia-Controls-Lib

  batchbatch-filebatch-scriptfileoclreportscriptsqlxml
  Language:TSQL

• martinring / lezer-ocl

  OCL grammar for lezer

  lezerocllezer-grammar
  Language:JavaScript

• MBoegers / ShexSHACLAndFriends

  Transform OCL to SHACL and ShEx

  knowledge-graphsrdfconstraintshacshexocl
  Language:TeX