Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revisionBoth sides next revision | ||
| alvis:model [2013/12/29 21:41] marcin created | — (current) | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| - | ====== Formal model definition ====== | ||
| - | |||
| - | An Alvis **model** is defined as shown in Definition 1. | ||
| - | |||
| - | **Definition 1.** An Alvis **model** is a triple **A** = (// | ||
| - | * //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** | ||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | |||
| - | **[[: | ||