eclipse-agileuml/agileuml

AgileUML tools for MDE using UML

Language: Java - Size: 421 MB - Last synced at: about 2 hours ago - Pushed at: about 3 hours ago - Stars: 18 - Forks: 13

useocl/use

Home of the UML-based Specification Environment (USE)

Language: Java - Size: 62 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 56 - Forks: 22

cogciprocate/ocl

OpenCL for Rust

Language: Rust - Size: 34.1 MB - Last synced at: 8 days ago - Pushed at: about 1 year ago - Stars: 757 - Forks: 74

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.

Language: TypeScript - Size: 4.17 MB - Last synced at: 7 days ago - Pushed at: 7 days ago - Stars: 57 - Forks: 10

gustavoverneck/CappuSim

LBM CFD Solver in Rust powered by OpenCL

Language: Rust - Size: 902 KB - Last synced at: 22 days ago - Pushed at: 22 days ago - Stars: 0 - Forks: 0

OpenConceptLab/ocldev

Python development library for working with OCL resources and APIs

Language: Python - Size: 329 KB - Last synced at: 16 days ago - Pushed at: 5 months ago - Stars: 5 - Forks: 6

BESSER-PEARL/B-OCL-Interpreter

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 a parser and listener generated via an ANTLR4 grammar.

Language: Python - Size: 1.7 MB - Last synced at: 8 days ago - Pushed at: 3 months ago - Stars: 19 - Forks: 1

it1shka/ocl-explorer

Web Explorer for Object Constraint Language (in active development)

Language: TypeScript - Size: 272 KB - Last synced at: 11 days ago - Pushed at: 11 months ago - Stars: 5 - Forks: 0

OpenConceptLab/ocl_issues

Issues for all OCL repos

Size: 9.77 KB - Last synced at: 2 months ago - Pushed at: 2 months ago - Stars: 4 - Forks: 2

logicalhacking/ocl-examples

A collection of (toy) examples using OCL.

Size: 476 KB - Last synced at: about 2 months ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 0

Alemato/Network-Architecture-EMF

University project focused on modeling network architectures using Eclipse Modeling Framework (EMF). Includes components like gateways, routers, switches, VLANs, and WiFi access points. The project emphasizes the use of formal modeling techniques and OCL constraints to ensure consistency and accuracy in network representations.

Language: Java - Size: 544 KB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 0 - Forks: 1

OctopusDeploy/vscode-octopusdeploy

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

Language: TypeScript - Size: 352 KB - Last synced at: 7 days ago - Pushed at: 4 months ago - Stars: 1 - Forks: 1

logicalhacking/Featherweight_OCL

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

Language: Isabelle - Size: 446 KB - Last synced at: about 2 months ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0

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

Language: Java - Size: 24.1 MB - Last synced at: 17 days ago - Pushed at: over 6 years ago - Stars: 7 - Forks: 2

aranega/pyecoreocl Fork of Beuchey/OCL_Python

OCL to Python compiler

Language: Python - Size: 4.03 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 10 - Forks: 0

OpenConceptLab/ocl_omrs

Importer for OpenMRS concept dictionary into OCL.

Language: Python - Size: 77.1 KB - Last synced at: 8 months ago - Pushed at: 8 months ago - Stars: 1 - Forks: 8

Open-MBEE/exec-cameo-mdk

Cameo plugin for MMS sync and DocGen

Language: Java - Size: 210 MB - Last synced at: 8 months ago - Pushed at: 10 months ago - Stars: 53 - Forks: 29

OpenConceptLab/ocl_web 📦

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

Language: Python - Size: 2.33 MB - Last synced at: 18 days ago - Pushed at: almost 4 years ago - Stars: 11 - Forks: 32

hassansartaj/aocl

AspectOCL experiment data

Size: 2.17 MB - Last synced at: about 1 year ago - Pushed at: about 6 years ago - Stars: 0 - Forks: 0

SOM-Research/uncertain-ocl

A DSL for expressing uncertainty in OCL integrity constraints

Language: Java - Size: 263 KB - Last synced at: 2 months ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

SimPLU3D/simplu3D-ocl

Extension of simplu3d to manage OCL rules

Language: Java - Size: 792 KB - Last synced at: about 1 year ago - Pushed at: over 4 years ago - Stars: 1 - Forks: 0

HiltonRoscoe/semval

Validates JSON instances using Object Constraint Language

Language: TypeScript - Size: 402 KB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 6 - Forks: 0

unveiling/unveiling-ocl

Maven artifacts for Eclipse OCL plugins

Size: 16.6 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

guionwind/FIB-IES

Exercicis resolts d'IES (2022-2023 Q1)

Size: 6.68 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 1 - Forks: 0

SteKoe/ocl.js-docs

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

Language: JavaScript - Size: 227 KB - Last synced at: over 1 year ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

DWB-eHealth/msfocp-source

MSFOCP concepts for OCL source

Size: 93.8 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 1 - Forks: 1

AresEkb/Safe_OCL

Language: Isabelle - Size: 960 KB - Last synced at: over 1 year ago - Pushed at: almost 6 years ago - Stars: 1 - Forks: 0

STiago/DSS

Desarrollo de Software Basado en Componentes y Servicios

Language: Java - Size: 18.4 MB - Last synced at: over 1 year ago - Pushed at: over 7 years ago - Stars: 0 - Forks: 0

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

Language: Java - Size: 5.39 MB - Last synced at: almost 2 years ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0

chavezbosquez/laws-nutrition-ocl

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

Language: Batchfile - Size: 843 KB - Last synced at: almost 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

sluger/UML2UML

Inplace UML to UML Transformations

Language: Java - Size: 17.6 KB - Last synced at: about 2 years ago - Pushed at: over 9 years ago - Stars: 0 - Forks: 0

compor/SNU_NPB

NAS benchmark suite source

Language: C - Size: 521 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 4 - Forks: 2

classicwuhao/qmaxuse

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

Language: SMT - Size: 268 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 7 - Forks: 1

michalkvr/rehabilitacni-centrum

Semestrální úloha BI-KOM (2020)

Size: 1.13 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

stu115/hk.net

Software for employees reading emails in Hill and Knowlton.

Language: Java - Size: 10.4 MB - Last synced at: about 2 years ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0

atlanmod/Mogwai

Automatic translation from OCL to Gremlin

Language: Java - Size: 59.5 MB - Last synced at: about 1 year ago - Pushed at: over 6 years ago - Stars: 9 - Forks: 6

21albertoff/vOCL

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

Language: CSS - Size: 8.68 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 1 - Forks: 0

martinring/lezer-ocl

OCL grammar for lezer

Language: JavaScript - Size: 21.5 KB - Last synced at: about 2 years ago - Pushed at: about 4 years ago - Stars: 0 - Forks: 0

MBoegers/ShexSHACLAndFriends

Transform OCL to SHACL and ShEx

Language: TeX - Size: 301 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

kaichiro/Omnia-Controls-Lib

Language: TSQL - Size: 2.02 MB - Last synced at: 19 days ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0

quasarresearchgroup/m2dm

Metamodel Driven Measurement (M2DM) Tool for Java

Language: Java - Size: 7.6 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 2

adbrucker/su4sml

su4sml - a SML repository for managing (Secure)UML/OCL models

Language: Standard ML - Size: 3.31 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

asukiaaa/rust_opencl_block_matching_practice

Language: Rust - Size: 1.32 MB - Last synced at: about 1 month ago - Pushed at: over 6 years ago - Stars: 0 - Forks: 0

Horrykram/Text-to-OCL-Francais

language Naturel Francais to OCL

Language: Python - Size: 494 KB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 1 - Forks: 0

mmonem/CSE608

A repository for My CSE608 Course

Size: 34.2 KB - Last synced at: about 2 years ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0

mmaguero/MII-DSS16-17

[DSS-MII-UGR-2016-17] Proyectos de la asignatura Desarrollo de Software Basado en Componentes y Servicios del Máster Universitario en Ingeniería Informática del curso 2016-17

Language: Java - Size: 96.6 MB - Last synced at: about 2 years ago - Pushed at: about 8 years ago - Stars: 0 - Forks: 1