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 the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.
