An action semantics for MOF 2.0

We show how to extend MOF 2.0 to include an action semantics to support behavioural modelling. We explain why such an extension is useful, particularly for model transformation and consistency checking.