AllenIntervalAlgebra#
Fully qualified class name of the UML model DDI-CDI 1.0: 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#
Diagram
Inheritance#
Inheritance
ᐊ── Process::AllenIntervalAlgebra
Attributes#
Attributes
Name |
Inherited from |
Description |
Data Type |
Multiplicity |
Default value |
|---|---|---|---|---|---|
temporalIntervalRelation |
- own class - |
Temporal constraint specified as an Allen’s interval relation. |
1..1 |
||
description |
A description of the control logic in human-readable language. |
String |
0..1 |
||
displayLabel |
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. |
0..* |
|||
identifier |
Identifier for objects requiring short- or long-lasting referencing and management. |
0..1 |
|||
name |
Human understandable name (linguistic signifier, word, phrase, or mnemonic). May follow ISO/IEC 11179-5 naming principles, and have context provided to specify usage. |
0..* |
|||
workflow |
Reference to the system or standard from which the workflow was taken. |
0..1 |
Associations#
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 - |
0..* |
none |
||
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 - |
0..* |
shared |
||
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 - |
0..1 |
none |
||
from |
ControlLogic informs ProcessingAgent |
Control logic informs a processing agent. The information may be deterministic or non-deterministic. |
0..* |
- own package - |
0..* |
none |
||
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 - |
1..* |
none |
Encodings#
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.omg.org/spec/UML/20131001/StandardProfile"
2 xmlns:uml="http://www.omg.org/spec/UML/20131001"
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 (entire JSON Schema)
1"cls-AllenIntervalAlgebra": {
2 "description": "http://ddialliance.org/Specification/DDI-CDI/1.0/RDF/AllenIntervalAlgebra",
3 "type": "object",
4 "properties": {
5 "@context": {
6 "$ref": "#/defs/at-context"
7 },
8 "@id": {
9 "type": "string",
10 "format": "iri-reference"
11 },
12 "@type": {
13 "const": "AllenIntervalAlgebra"
14 },
15 "temporalIntervalRelation": {
16 "$comment": "cardinality 1..1 – from cdi:AllenIntervalAlgebra",
17 "$ref": "#/defs/enum-TemporalRelation"
18 },
19 "description": {
20 "$comment": "cardinality 0..1 – from cdi:ControlLogic",
21 "$ref": "#/defs/xsd:string"
22 },
23 "displayLabel": {
24 "$comment": "cardinality 0..-1 – from cdi:ControlLogic",
25 "if": { "type": "array" },
26 "then": { "items": { "$ref": "#/defs/dt-LabelForDisplay" } },
27 "else": { "$ref": "#/defs/dt-LabelForDisplay" }
28 },
29 "identifier": {
30 "$comment": "cardinality 0..1 – from cdi:ControlLogic",
31 "$ref": "#/defs/dt-Identifier"
32 },
33 "name": {
34 "$comment": "cardinality 0..-1 – from cdi:ControlLogic",
35 "if": { "type": "array" },
36 "then": { "items": { "$ref": "#/defs/dt-ObjectName" } },
37 "else": { "$ref": "#/defs/dt-ObjectName" }
38 },
39 "workflow": {
40 "$comment": "cardinality 0..1 – from cdi:ControlLogic",
41 "$ref": "#/defs/dt-ControlledVocabularyEntry"
42 },
43 "has_InformationFlowDefinition": {
44 "description": "ControlLogic_has_InformationFlowDefinition",
45 "$comment": "cardinality 0..-1",
46 "anyOf": [
47 {
48 "$ref": "#/defs/target-InformationFlowDefinition"
49 },
50 {
51 "type": "array",
52 "items": {
53 "$ref": "#/defs/target-InformationFlowDefinition"
54 }
55 }
56 ]
57 },
58 "hasSubControlLogic": {
59 "description": "ControlLogic_hasSubControlLogic_ControlLogic",
60 "$comment": "cardinality 0..-1",
61 "anyOf": [
62 {
63 "$ref": "#/defs/target-ControlLogic"
64 },
65 {
66 "type": "array",
67 "items": {
68 "$ref": "#/defs/target-ControlLogic"
69 }
70 }
71 ]
72 },
73 "informs": {
74 "description": "ControlLogic_informs_ProcessingAgent",
75 "$comment": "cardinality 0..-1",
76 "anyOf": [
77 {
78 "$ref": "#/defs/target-ProcessingAgent"
79 },
80 {
81 "type": "array",
82 "items": {
83 "$ref": "#/defs/target-ProcessingAgent"
84 }
85 }
86 ]
87 },
88 "invokes": {
89 "description": "ControlLogic_invokes_Activity",
90 "$comment": "cardinality 1..-1",
91 "anyOf": [
92 {
93 "$ref": "#/defs/target-Activity"
94 },
95 {
96 "type": "array",
97 "items": {
98 "$ref": "#/defs/target-Activity"
99 }
100 }
101 ]
102 },
103 "hasInternal_OF_Activity": {
104 "description": "Activity_hasInternal_ControlLogic",
105 "$comment": "cardinality 0..-1",
106 "anyOf": [
107 {
108 "$ref": "#/defs/target-Activity"
109 },
110 {
111 "type": "array",
112 "items": {
113 "$ref": "#/defs/target-Activity"
114 }
115 }
116 ]
117 },
118 "hasSubControlLogic_OF_ControlLogic": {
119 "description": "ControlLogic_hasSubControlLogic_ControlLogic",
120 "$comment": "cardinality 0..1",
121 "$ref": "#/defs/target-ControlLogic"
122 },
123 "sameAs": {
124 "$ref": "#/defs/owl:sameAs"
125 }
126 },
127 "required": ["temporalIntervalRelation","invokes","@type"],
128 "additionalProperties": false
129},
130"target-AllenIntervalAlgebra": {
131 "description": "all subclasses of http://ddialliance.org/Specification/DDI-CDI/1.0/RDF/AllenIntervalAlgebra",
132 "anyOf": [
133 { "$ref": "#/defs/cls-AllenIntervalAlgebra" },
134 { "type": "string", "format": "iri-reference" }
135 ]
136},
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 (entire 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
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 }
20 },
21
22 " comment ": "tag:json-should-support-trailing-commas"
23 }
24 ],
25 "generatedBy": "This code was generated by the Eclipse Acceleo project UCMIS M2T on 2025-08-29 14:34:53.",
26 "basedOn": "based on the UML data type DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra"
27}
Fragment for the class AllenIntervalAlgebra (entire SHACL - Shapes Constraint Language)
1# class AllenIntervalAlgebra
2# based on the UML class DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra
3<#AllenIntervalAlgebra> a sh:NodeShape;
4 sh:targetClass cdi:AllenIntervalAlgebra;
5 sh:message "See http://ddialliance.org/Specification/DDI-CDI/1.0/RDF/AllenIntervalAlgebra";
6 sh:closed true;
7 sh:ignoredProperties ( owl:sameAs );
8 sh:property [
9 sh:path rdf:type;
10 sh:in ( cdi:AllenIntervalAlgebra
11 ) ;
12 ];
13 # attributes
14 sh:property <#AllenIntervalAlgebra-temporalIntervalRelation>;
15 # associations from AllenIntervalAlgebra
16 # associations to AllenIntervalAlgebra
17
18 # ---- superclass: TemporalConstraints
19 # attributes
20 # associations from TemporalConstraints
21 # associations to TemporalConstraints
22
23 # ---- superclass: NonDeterministicDeclarative
24 # attributes
25 # associations from NonDeterministicDeclarative
26 # associations to NonDeterministicDeclarative
27
28 # ---- superclass: ControlLogic
29 # attributes
30 sh:property <#ControlLogic-description>;
31 sh:property <#ControlLogic-displayLabel>;
32 sh:property <#ControlLogic-identifier>;
33 sh:property <#ControlLogic-name>;
34 sh:property <#ControlLogic-workflow>;
35 # associations from ControlLogic
36 sh:property <#ControlLogic_has_InformationFlowDefinition>;
37 sh:property <#ControlLogic_hasSubControlLogic_ControlLogic>;
38 sh:property <#ControlLogic_informs_ProcessingAgent>;
39 sh:property <#ControlLogic_invokes_Activity>;
40 # associations to ControlLogic
41 sh:property <#rev_Activity_hasInternal_ControlLogic>;
42 sh:property <#rev_ControlLogic_hasSubControlLogic_ControlLogic>;
43
44
45
46
47
48
49
50
51
52.
53
54<#AllenIntervalAlgebra-temporalIntervalRelation> a sh:PropertyShape ;
55 sh:path cdi:AllenIntervalAlgebra-temporalIntervalRelation;
56 sh:node <#TemporalRelation>
57 ;
58 sh:minCount 1;
59 sh:maxCount 1;
60.
Fragment for the class AllenIntervalAlgebra (entire ShEx - Shape Expressions)
1# class AllenIntervalAlgebra
2# based on the UML class DDICDIModels::DDICDILibrary::Classes::Process::AllenIntervalAlgebra
3cdi:AllenIntervalAlgebraShape CLOSED {
4 a [cdi:AllenIntervalAlgebra];
5 cdi:AllenIntervalAlgebra-temporalIntervalRelation @cdi:TemporalRelationShape;
6 &cdi:TemporalConstraintsProperties;
7 }