•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.
–Represent behavior at all design
phases; mapped or unmapped