Examples
The following downloads contain eclipse projects that can be executed using the M3Actions framework (available from sourceforge under EPL).Hello Meta-World
The classical Hello World program as M3Action specification.
Instantiation
Example to demonstrate the explicit instanceOf relation to define multiple meta-layers.State Machine Language
A small State Machine language that was used in the paper Temporal Logic for OCL RevisitedC# language
Large 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.
