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.

FIXME

Go back