ISO5087-1:ConjunctiveState

From City Data Model Project Collaboratory
(Redirected from 5087-1:ConjunctiveState)
Jump to navigation Jump to search


Pattern

This class has been associated with the following pattern:

Pattern:Activity Pattern

Subclass Of

Description

An English description of the definition (what distinguishes this sense of the term?).

A conjunctive state is a type of NonTerminalState that is defined by the conjunction of its child states.

Class Diagram Description

An activity cluster provides a basic structure for representing activity specifications. Illustrated in Figure 1, it consists of an activity connected to an enabling and caused state, each of which may be a state tree that defines complex states via decomposition into conjunctions and disjunctions of states.

Figure 2 illustrates the use of the Activity Ontology to describe a class of objects that should be identified as “Drive to Work” activities, where the effect of such an activity is a Conjunctive state. The conjunctive state is decomposed into two terminal states, meaning that it should be interpreted as a state where both sub-states (DriverAtWork and CarAtWork) are true.

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 ISO5087-1:DisjunctiveState


Supplementary Figures

Figure Caption
Act-1.png
Figure 1: A generic activity cluster.
Act-2.png
Figure 2: Example use of the Activity Ontology.