ExamplesThe following downloads contain eclipse projects that can be executed using the M3Actions framework (available from sourceforge under EPL).
Hello Meta-WorldThe classical Hello World program as M3Action specification.
InstantiationExample to demonstrate the explicit instanceOf relation to define multiple meta-layers.
State Machine LanguageA small State Machine language that was used in the paper Temporal Logic for OCL Revisited
C# languageLarge parts of the execution semantics of the C# language including parallelism.
Abstract State Machines (ASM)Aspects of the state semantics of ASMs including non-deterministic choice.
If you're interested in research around M3Actions, please check out the list of publications.