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
OCL features list can be found here: OCL.js Reference 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
Here you can find online version of that tool: http://150.230.149.120/