NonTerminalState: Difference between revisions
No edit summary |
No edit summary |
||
| Line 3: | Line 3: | ||
|Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex state types. A state cannot be both non-terminal and terminal.NonTerminalStates have the following core properties: | |Description=A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex state types. A state cannot be both non-terminal and terminal.NonTerminalStates have the following core properties: | ||
o hasDecomp: identifies two or more States that the state may be immediately decomposed into, i.e., its direct children. | o hasDecomp: identifies two or more States that the state may be immediately decomposed into, i.e., its direct children. | ||
NonTerminalState has the following supplemental properties: | |||
o hasSubState: identifies a state that the complex state decomposes into, at any level (i.e., its child state, grandchild state, etcetera). The hasSubState property is transitive and a super-property of the hasDecomp property. | |||
|Definition Status=Pending Approval | |Definition Status=Pending Approval | ||
}} | }} | ||
Latest revision as of 15:21, 9 August 2021
Pattern
This class has been associated with the following pattern:
Subclass Of
Description
An English description of the definition (what distinguishes this sense of the term?).
A non-terminal state has child states, which may define some classes of manifestations, or further define some other complex state types. A state cannot be both non-terminal and terminal.NonTerminalStates have the following core properties: o hasDecomp: identifies two or more States that the state may be immediately decomposed into, i.e., its direct children.
NonTerminalState has the following supplemental properties: o hasSubState: identifies a state that the complex state decomposes into, at any level (i.e., its child state, grandchild state, etcetera). The hasSubState property is transitive and a super-property of the hasDecomp property.
Class Diagram Description
Required by Use Case(s)
(why is this specialized definition needed?)
CDM References
What other classes or properties reference this term?
Interface Specification References
This class has been associated with the following interface specification items:
Sources
Sources considered when developing the class:
Status
Pending Approval
Has Subclass(es)
Annotations
| Annotation | Value |
|---|
Manchester Syntax Specification
| Property | Restriction | Value |
|---|---|---|
| disjointWith | TerminalState | |
| HasDecomp | only | State and min 2 State |
| HasSubState | only | State |
Supplementary Figures
| Figure | Caption |
|---|