A specification represents a set of interconnected modules.
Several specifications can coexist on the same node at run time,
but only one single specification can be active at
any given time. Modules can be shared among different
specifications, depending on the application requirements.
A set of co-existing specifications residing together in the
memory of a single node is called an image.