Matthias Anlauff

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

Project Admins:

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

No, thanks