https://github.com/it1shka/ocl-explorer

Web Explorer for Object Constraint Language (in active development)
https://github.com/it1shka/ocl-explorer

ide javascript object-constraint-language ocl typescript

Last synced: about 1 month ago
JSON representation

Web Explorer for Object Constraint Language (in active development)

• Host: GitHub
• URL: https://github.com/it1shka/ocl-explorer
• Owner: it1shka
• License: other
• Created: 2024-06-01T13:59:25.000Z (7 months ago)
• Default Branch: main
• Last Pushed: 2024-06-04T14:15:10.000Z (7 months ago)
• Last Synced: 2024-06-04T15:56:43.605Z (7 months ago)
• Topics: ide, javascript, object-constraint-language, ocl, typescript
• Language: TypeScript
• Homepage: http://150.230.149.120/
• Size: 272 KB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
## Web Explorer for OCL (Object Constraint Language)



## Motivation

Object Constraint Language (OCL) is studied at universities across the world,

yet there are no lightweight tools to experiment with the language. I tried to 

fill that gap by creating a web application allowing users to write short 

programs in javascript / typescript and verify them using OCL syntax

## How to use

OCL features list can be found here: [OCL.js Reference](https://ocl.stekoe.de)

I suggest you to pack your code into classes with proper field __typeName__ 

(OCL.js uses typeName to infer match object types to appropriate contexts).

After that, you can use builtin __verify(obj)__ function to verify

instances of those classes

## Online hosted version:

Here you can find online version of that tool:

http://150.230.149.120/