XASM
An XOCL (ECore + OCL) based implementation of the Gurevich ASMs
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