Do not commit to the semantics of a particular Model of
Computation (MoC)
Define a set of building blocks:
specifications with many useful MoCs can be described
using the building blocks.
unambiguous semantics for each building block.
syntax for each building block a
language of the meta model.
Represent
behavior at all design phases; mapped or unmapped