This is an old revision of the document!
Formal model definition
An Alvis model is defined as shown in Definition 1.
Definition 1. An Alvis model is a triple A = (H,B,φ), where:
- H is a hierarchical communication diagram,
- B is a syntactically correct code layer,
- φ is a system layer.
Moreover, each non-hierarchical agent $X$ belonging to the diagram $H$ must be defined in the code layer, and each agent defined in the code layer must belong to the diagram.