16.2. The Metropolis Meta-Model
The Metropolis meta-model is a language to specify networks of concurrent objects, each taking actions sequentially. The behavior of a network is formally defined by the execution semantics of the language [668]. A set of networks can be used to represent all the aspects described in the previous section for conducting designs, i.e., function, architecture, mapping, refinement, abstraction, and platforms.
In providing a specification, one needs a capability of describing the following three aspects: actions, constraints, and their refinement. This is true whether it is a specification of a system (behavior or architecture) or of the environment. The Metropolis meta-model has this capability, as presented in this ...
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Read now
Unlock full access