•Goal: develop a
formal design environment
–Orthogonalize
concerns
•Computation vs
communication (synthesized vs translated)
•Function vs
architecture (should vs could)
•Behavior vs
performance (abstract vs implemented)
•Behavior vs
constraints (abstract vs required)
–Have theoretical
foundation
•Metamodel to
represent different models of computation
•Model vs
language…
–Use Platform
•Software, hardware,
system
•With its implied
communication structure
–