Next: 4.2.4 Orthogonal Components
Up: 4.2 Textual Syntax
Previous: 4.2.2 State Hierarchy
Contents
Index
State properties are written after the names of the states. A state
may have 0 or more properties. Each property is enclosed by a pair of
square brackets. There can be 0 or more spaces between the state name
and the first property, and between two adjacent properties.
Table 4.2:
State properties in the textual syntax
| Symbol |
Meaning |
Note |
| [DS] |
default state |
The state is a default state of its parent or of the model. |
| [FS] |
final state |
The state is a final state. |
| [CS] |
concurrent state |
The state is an orthogonal component. |
| [HS] |
history state |
The state has a normal (1-level) history. |
| [HS*] |
deep history state |
The state has a deep history. |
| [ITF] |
inner transition first |
|
| [OTF] |
outer transition first |
|
| [RTO] |
reverse transition order |
|
|
The state properties are explained in Table 4.2.
Table 4.3:
An example of the textual representation of state
properties
![\begin{table}\begin{center}
\begin{minipage}{4.5cm}
\begin{verbatim}
STATECHAR...
...S]
H
I
J [DS]
K [FS]\end{verbatim}
\end{minipage} \end{center}
\end{table}](img175.png) |
As an example, the model in Figure ![[*]](crossref.png)
is
textually written in Table 4.3.
Next: 4.2.4 Orthogonal Components
Up: 4.2 Textual Syntax
Previous: 4.2.2 State Hierarchy
Contents
Index
Thomas Huining Feng
2004-04-28
![[*]](node48.html#fig:defaultfinalsample.png)
is
textually written in Table 4.3.