Search Results for "ocl"

USE is a system for the specification and validation of information systems based on a subset of the Unified Modeling Language (UML) and the Object Constraint Language (OCL). Please report any encountered bugs using the ticket system. The USE documentation can be found on the project homepage linked below. Downloads for the most popular plugins can be found here: http://sourceforge.net/projects/useocl/files/Plugins/

OSLO stands for Open Source Library for OCL. It's base on the Kent OCL Library from the University of Kent.

Dresden OCLallows to query arbitrary EMF-based models. It provides an advanced OCL2 Editor, a Parser, an Interpreter, and a Codegenerator for Java and SQL. WE MOVED TO GITHUB. PLEASE VISIT https://github.com/dresden-ocl/dresdenocl

C++ portable library designed to be used on 32/64-bit operating systems, as a series of header files, which can be included separately, or all together as a complete library. Memory manipulation, file handling, data types, etc. visit cppocl.co.uk. The status of this library will only be kept up to date on cppocl.co.uk. I have abandoned using Source Forge for access to the source code, and am currently not making development of the library available for open source, although this might...

Jostle (JOCL) is a Java implementation of the OCL Specification.

Our aim is to develop a tool that converts textual constraints written in the OCL 2.0 language into instances of the OCL 2.0 metamodel. We use as a conceptual modeling environment the einaGMC tool http://guifre.lsi.upc.edu/eina_GMC/

SPACES is a functional test tool for components which uses UML specifications and OCL restrictions to originate test cases automatically.

The UCL MDA Tools are lightweight Model Driven Architecture tools developed at University College London. They include a JMI generator implemented using the velocity template engine, an OCL type checker, and a parser for textual MOF models.

XASM and XOCL consolidate the mathematical language ASM and imperative extensions to the OMG standard OCL. In XOCL we now have update annotations, which allow to create with OCL one set of updates. We consequently will create a prototype of XASM as a language that allows to calculate XASM Style fix points over updates. It will have the same language design as the original XASM by Matthias Anlauff

OCL4Java is a pre-compiler(ant and eclipse) to include OCL-Constrains as Java5 Annotations in the Source-Code and have code to check them generated with a user-defined reaction to violations. (Does not change line-numbers for the debugger)

The aim of the Open OCL (Object Class Libraries) project is to develop a standard library API for true cross platform program development. Target platforms are Linux/UNIX, Windows and Mac OS X.

The Naomi project develops an OCL 1.5 interpretation and validation framework. Arbitrary model information is accessed via a model interface. The interface is extended to support OCL constraints on MOF compliant metamodels (e.g. UML metamodels).

The OCL Translation Framework provides the ability, to generate/develop/test pluggable OCL translators which "translate" OCL into other languages (EJB-QL, Hibernate-QL, SQL, Java, etc.). Intended to be used within MDA toolsets.

Main purpose of this project is to create an Eclipse editor for specifying OCL contracts. The OCL language is used to specify pre-, post-conditions and invariants. The project also contains a parser to check the syntactical and semantical correctness.

This is an implementation of the UML's Object Constraint Language. It's being developed so that it will be able to act as a component in general purpose open source UML modeling tools.

A Model to Model transformation engine that executes transformations in a live- and bi-directional manor. Support for multiple languages, a 'QVT Core' (incl. OCL) compatible language, a java-like declarative syntax, etc.