Promela |
Omission |
hierarchy |
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 principles
supported in Promela are
proctype s, inline s, and
macros .
SEE ALSO
inline
macros
proctype
procedures
Spin Online References Promela Manual Index Promela Grammar Spin HomePage |
(Page updated: 28 November 2004) |