Promela Reference -- hierarchy(7)

### `Promela` | ### `Omissions` | ### `hierarchy(7)`

`NAME`
hierarchy - for defining layered systems.

`DESCRIPTION`
There is no mechanism for defining a hierarchically layered system in Promela, nor is there a good excuse to justify this omission. At present, the only structuring principle is the `proctype` definition, and the allowance for processes to invoke each other recursively.

A mechanism to support hierarchical structuring is likely to be added in one of the future revisions of the language.

`SEE ALSO`
`proctype(2)`, `procedures(7)`.

Spin Online References Promela Manual Index Promela Grammar Spin HomePage |  | `(Page Updated: 16 December 1997)`