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 ...

Get Multiprocessor Systems-on-Chips now with O’Reilly online learning.

O’Reilly members experience live online training, plus books, videos, and digital content from 200+ publishers.