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) |