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
Categories
Software DevelopmentLicense
Eclipse Public LicenseFollow XASM
Other Useful Business Software
Paessler - Monitor Your Whole Network in Minutes
Waiting weeks for a monitoring rollout isn't an option when infrastructure doesn't stop running. PRTG's auto-discovery scans your network and suggests from over 200 pre-configured sensor types, so you're watching servers, applications and devices within minutes, not after a multi-week deployment. Enterprise-strength monitoring, without the enterprise complexity. Start your free trial today.
Rate This Project
Login To Rate This Project
User Reviews
Be the first to post a review of XASM!