ISO5087-1:DisjunctiveState

From City Data Model Project Collaboratory
Revision as of 21:24, 25 June 2021 by Xuanni1 (talk | contribs) (Created page with "{{Class Definition |Subclass Of=NonTerminalState |Description=A disjunctive state is a type of NonTerminalState that is defined by the disjunction of its child states. A state...")
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigation Jump to search


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.

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 ConjunctiveState


Supplementary Figures

Figure Caption