AllenIntervalAlgebra

Fully qualified class name: DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra

Definition

Control logic where the execution flow is determined by the satisfaction of temporal constraints specified with Allen’s Interval Algebra over time intervals. Allen’s interval algebra consists of thirteen temporal interval relations and the operations defined on them. Together these relations are distinct (any pair of definite intervals are described by one and only one of the relations), exhaustive (any pair of definite intervals are described by one of the relations), and qualitative (no numeric time spans are considered). See https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html.

Examples

An Allen overlap indicates that within a sequence two procedures overlap in time.

Explanatory notes

Allen’s intervals are pairwise.

Diagram

Inheritance
Process::ControlLogic
  ᐊ── Process::NonDeterministicDeclarative
    ᐊ── Process::TemporalConstraints
      ᐊ── Process::AllenIntervalAlgebra
Attributes

Name

Inherited from

Description

Data Type

Multiplicity

Default value

temporalIntervalRelation

- own class -

Temporal constraint specified as an Allen’s interval relation.

TemporalRelation

1..1

description

Process::ControlLogic

A description of the control logic in human-readable language.

String

0..1

displayLabel

Process::ControlLogic

A human-readable display label for the object. Supports the use of multiple languages. Repeat for labels with different content, for example, labels with differing length limitations.

LabelForDisplay

0..*

identifier

Process::ControlLogic

Identifier for objects requiring short- or long-lasting referencing and management.

Identifier

0..1

name

Process::ControlLogic

Human understandable name (linguistic signifier, word, phrase, or mnemonic). May follow ISO/IEC 11179-5 naming principles, and have context provided to specify usage.

ObjectName

0..*

workflow

Process::ControlLogic

Reference to the system or standard from which the workflow was taken.

ControlledVocabularyEntry

0..1
Associations

Direction

Association

Description

Multiplicity of AllenIntervalAlgebra

Package of Other Class

Other Class

Multiplicity of other class

Aggregation Kind

Inherited from

to

Activity hasInternal ControlLogic

An activity is embedded in the control construct which launches it.

0..*

- own package -

Activity

0..*

none

Process::ControlLogic

from

ControlLogic has InformationFlowDefinition

A control construct has zero or more information flow definitions each of which provides the control construct with zero or more input and output parameters used or produced in the step/sub-step with which it is associated.

0..*

- own package -

InformationFlowDefinition

0..*

shared

Process::ControlLogic

to

ControlLogic hasSubControlLogic ControlLogic

Control logic is a container of control logic which is in turn a container of control logic ad infinitum so that it is able to represent the structure of a program.

0..*

- own package -

ControlLogic

0..1

none

Process::ControlLogic

from

ControlLogic informs ProcessingAgent

Control logic informs a processing agent. The information may be deterministic or non-deterministic.

0..*

- own package -

ProcessingAgent

0..*

none

Process::ControlLogic

from

ControlLogic invokes Activity

Control logic invokes an activity deterministically (either conditionally or unconditionally) or non-derministically (based on temporal constraints or rule-based scheduling).

0..*

- own package -

Activity

1..*

none

Process::ControlLogic
Syntax representations / encodings

All syntax representations except the Canonical XMI are provided as reference points for specific implementations, or for use as defaults if sufficient in the form presented.

Fragment for the class AllenIntervalAlgebra (entire model as XMI)

 1<packagedElement xmlns:StandardProfile="http://www.eclipse.org/uml2/5.0.0/UML/Profile/Standard"
 2                 xmlns:uml="http://www.eclipse.org/uml2/5.0.0/UML"
 3                 xmlns:xmi="http://www.omg.org/spec/XMI/20131001"
 4                 xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra"
 5                 xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra"
 6                 xmi:type="uml:Class">
 7   <ownedComment xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-ownedComment"
 8                 xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-ownedComment"
 9                 xmi:type="uml:Comment">
10      <annotatedElement xmi:idref="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra"/>
11      <body>Definition 
12==========
13Control logic where the execution flow is determined by the satisfaction of temporal constraints specified with Allen's Interval Algebra over time intervals. Allen's interval algebra consists of thirteen temporal interval relations and the operations defined on them. Together these relations are distinct (any pair of definite intervals are described by one and only one of the relations), exhaustive (any pair of definite intervals are described by one of the relations), and qualitative (no numeric time spans are considered). See https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html.
14
15Examples
16========
17An Allen overlap indicates that within a sequence two procedures overlap in time. 
18
19Explanatory notes
20=================
21Allen's intervals are pairwise.</body>
22   </ownedComment>
23   <name>AllenIntervalAlgebra</name>
24   <generalization xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-generalization"
25                   xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-generalization"
26                   xmi:type="uml:Generalization">
27      <general xmi:idref="DDICDIModels-DDICDILibrary-Classes-Process-TemporalConstraints"/>
28   </generalization>
29   <ownedAttribute xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-temporalIntervalRelation"
30                   xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-temporalIntervalRelation"
31                   xmi:type="uml:Property">
32      <ownedComment xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-temporalIntervalRelation-ownedComment"
33                    xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-temporalIntervalRelation-ownedComment"
34                    xmi:type="uml:Comment">
35         <annotatedElement xmi:idref="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-temporalIntervalRelation"/>
36         <body>Temporal constraint specified as an Allen's interval relation.</body>
37      </ownedComment>
38      <lowerValue xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-temporalIntervalRelation-lowerValue"
39                  xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-temporalIntervalRelation-lowerValue"
40                  xmi:type="uml:LiteralInteger">
41         <value>1</value>
42      </lowerValue>
43      <upperValue xmi:id="DDICDIModels-DDICDILibrary-Classes-Process-AllenIntervalAlgebra-temporalIntervalRelation-upperValue"
44                  xmi:uuid="http://ddialliance.org/Specification/DDI-CDI/1.0/XMI/#AllenIntervalAlgebra-temporalIntervalRelation-upperValue"
45                  xmi:type="uml:LiteralUnlimitedNatural">
46         <value>1</value>
47      </upperValue>
48      <name>temporalIntervalRelation</name>
49      <type xmi:idref="DDICDIModels-DDICDILibrary-DataTypes-Enumerations-TemporalRelation"/>
50   </ownedAttribute>
51</packagedElement>

Fragment for the class AllenIntervalAlgebra (entire XML Schema)

 1<xs:element name="AllenIntervalAlgebra"
 2            type="AllenIntervalAlgebraXsdType"
 3            xml:id="AllenIntervalAlgebra">
 4  <!-- based on the UML class DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra -->
 5  <xs:annotation>
 6    <xs:documentation>Definition 
 7          ==========
 8          Control logic where the execution flow is determined by the satisfaction of temporal constraints specified with Allen's Interval Algebra over time intervals. Allen's interval algebra consists of thirteen temporal interval relations and the operations defined on them. Together these relations are distinct (any pair of definite intervals are described by one and only one of the relations), exhaustive (any pair of definite intervals are described by one of the relations), and qualitative (no numeric time spans are considered). See https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html.
 9          
10          Examples
11          ========
12          An Allen overlap indicates that within a sequence two procedures overlap in time. 
13          
14          Explanatory notes
15          =================
16          Allen's intervals are pairwise.</xs:documentation>
17  </xs:annotation>
18</xs:element>
19<xs:complexType name="AllenIntervalAlgebraXsdType"
20                xml:id="AllenIntervalAlgebraXsdType">
21  <xs:annotation>
22    <xs:documentation>Definition 
23          ==========
24          Control logic where the execution flow is determined by the satisfaction of temporal constraints specified with Allen's Interval Algebra over time intervals. Allen's interval algebra consists of thirteen temporal interval relations and the operations defined on them. Together these relations are distinct (any pair of definite intervals are described by one and only one of the relations), exhaustive (any pair of definite intervals are described by one of the relations), and qualitative (no numeric time spans are considered). See https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html.
25          
26          Examples
27          ========
28          An Allen overlap indicates that within a sequence two procedures overlap in time. 
29          
30          Explanatory notes
31          =================
32          Allen's intervals are pairwise.</xs:documentation>
33  </xs:annotation>
34  <xs:complexContent>
35    <xs:extension base="TemporalConstraintsXsdType">
36      <xs:sequence>
37        <xs:element name="temporalIntervalRelation"
38                    type="TemporalRelationXsdType"
39                    minOccurs="1"
40                    maxOccurs="1"
41                    xml:id="AllenIntervalAlgebra-temporalIntervalRelation">
42          <xs:annotation>
43            <xs:documentation>Temporal constraint specified as an Allen's interval relation.</xs:documentation>
44          </xs:annotation>
45        </xs:element>
46      </xs:sequence>
47    </xs:extension>
48  </xs:complexContent>
49</xs:complexType>

Fragment for the class AllenIntervalAlgebra (main ontology)

 1# class AllenIntervalAlgebra
 2# based on the UML class DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra
 3cdi:AllenIntervalAlgebra
 4  a rdfs:Class, owl:Class, ucmis:Class;
 5  rdfs:label "AllenIntervalAlgebra";
 6  rdfs:comment "Definition \n==========\nControl logic where the execution flow is determined by the satisfaction of temporal constraints specified with Allen's Interval Algebra over time intervals. Allen's interval algebra consists of thirteen temporal interval relations and the operations defined on them. Together these relations are distinct (any pair of definite intervals are described by one and only one of the relations), exhaustive (any pair of definite intervals are described by one of the relations), and qualitative (no numeric time spans are considered). See https://www.ics.uci.edu/~alspaugh/cls/shr/allen.html.\n\nExamples\n========\nAn Allen overlap indicates that within a sequence two procedures overlap in time. \n\nExplanatory notes\n=================\nAllen's intervals are pairwise."@en;
 7  rdfs:subClassOf cdi:TemporalConstraints;
 8.
 9
10cdi:AllenIntervalAlgebra-temporalIntervalRelation
11  a rdf:Property, owl:ObjectProperty, ucmis:Attribute;
12  rdfs:label "temporalIntervalRelation";
13  rdfs:comment "Temporal constraint specified as an Allen's interval relation."@en;
14  rdfs:domain cdi:AllenIntervalAlgebra;
15  rdfs:range cdi:TemporalRelation;
16.

Fragment for the class AllenIntervalAlgebra (main JSON-LD)

 1{
 2  "@context": [
 3    "TemporalConstraints.jsonld",
 4    {
 5      "cdi": "http://ddialliance.org/Specification/DDI-CDI/1.0/RDF/",
 6      "xsd": "http://www.w3.org/2001/XMLSchema#",
 7      "AllenIntervalAlgebra": "cdi:AllenIntervalAlgebra",
 8      "temporalIntervalRelation": {
 9        "@id": "cdi:AllenIntervalAlgebra-temporalIntervalRelation",
10        "@type": "@vocab",
11        "@context": {
12          "Contains": "cdi:Contains",
13          "Equals": "cdi:Equals",
14          "Finishes": "cdi:Finishes",
15          "Meets": "cdi:Meets",
16          "Overlaps": "cdi:Overlaps",
17          "Precedes": "cdi:Precedes",
18          "Starts": "cdi:Starts",
19          " comment ": "tag:json-should-support-trailing-commas" 
20        }
21      },
22      
23      " comment ": "tag:json-should-support-trailing-commas" 
24    }
25  ],
26  "generatedBy": "This code was generated by the Eclipse Acceleo project UCMIS M2T on 2024-09-23 21:52:59.",
27  "basedOn": "based on the UML data type DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra"
28}