ISO5087-1:DisjunctiveState
Jump to navigation
Jump to search
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 disjunctive state is a type of NonTerminalState that is defined by the disjunction of its child states. A state cannot be both conjunctive and disjunctive. Conjunctive and disjunctive states, which do have substates, are achieved at some time if their decomposition of states is achieved.
Class Diagram Description
Required by Use Case(s)
(why is this specialized definition needed?)
CDM References
What other classes or properties reference this term?
- ISO5087-1:ConjunctiveState (← links)
- DisjunctiveState (redirect page) (← links)
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 | ConjunctiveState |
Supplementary Figures
| Figure | Caption |
|---|