ISO5087-1:DisjunctiveState

Pattern

This class has been associated with the following pattern:

Pattern:Activity Pattern

Subclass Of

NonTerminalState

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.

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)
  • Pattern:Activity Pattern ‎ (← 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

Annotations

Annotation	Value

Manchester Syntax Specification

Property	Restriction	Value
disjointWith		ISO5087-1:ConjunctiveState

Supplementary Figures

Figure	Caption