AIXM 5 Temporality Model
-
Upload
annabella-oral -
Category
Documents
-
view
35 -
download
0
description
Transcript of AIXM 5 Temporality Model
AIXM 5 Temporality ModelAIXM 5 Temporality Model
An Example: Navaid frequency changeAn Example: Navaid frequency change
Imagine that AML Navaid undergoes an upgrade that changes its frequency from 112.0 MHz to 113.2 MHz…
Building the temporality modelBuilding the temporality model
• Time is essential for AI
• For operational reasons, distinction between:– permanent changes– temporary status
• Two levels– Life of the feature– Changes in properties
• Time is essential for AI
• For operational reasons, distinction between:– permanent changes– temporary status
• Two levels– Life of the feature– Changes in properties
Time varying propertiesTime varying properties
Time
P1
FeatureProperties
value 1 value 2 value 3 value 4
P2 value a value b
P3 value x
P4 value z
P5 value $ value #
The basic Time Slice modelThe basic Time Slice model
Time
P1
FeatureProperties
value 1 value 2 value 3 value 4
P2 value a value b
P3 value x
P4 value z
P5 value $ value #
The basic Time Slice modelThe basic Time Slice model
P1
FeatureProperties
P2
P3
P4
P5
TimeSlices: TS 1 TS 2 TS 3 TS 4 TS 5 TS 6 TS 7 TS 8
The basic Time Slice modelThe basic Time Slice model
P1
FeatureProperties
P2
P3
P4
P5
TimeSlices: TS 1 TS 2 TS 3 TS 4 TS 5 TS 6 TS 7 TS 8
states
The basic Time Slice modelUML
The basic Time Slice modelUML
AIXMFeature
identifier : UUID
AIXMFeatureTimeSlice
validTimefeatureLifetimeproperty1property2property3...
1..* +time varying properties1..*
validTime = the time period for which the Time Slice is valid
featureLifetime = property of the feature; it indicates the date and time when the feature was created and the date and time when it will cease...
P1
FeatureProperties
P2
P3
P4
P5
TimeSlices: TS 1 TS 2 TS 3 TS 4 TS 5 TS 6 TS 7 TS 8
temporaryvalue w
TS "temp”
Temporary events Temporary events
event
Temporary events Temporary events
• Two kinds of Time Slices– Baseline = describes the
feature state (the set of all feature’s properties) as result of a permanent change;
– Temporary Delta = describes the transitory changes of a feature state during a temporary event.
• Two kinds of Time Slices– Baseline = describes the
feature state (the set of all feature’s properties) as result of a permanent change;
– Temporary Delta = describes the transitory changes of a feature state during a temporary event.
The model up to this pointBASELINE & TEMPDELTA
The model up to this pointBASELINE & TEMPDELTA
• Compliant with the requirements for– Completeness - all temporal states must be
representable;– Minimalism - use of minimal number of elements;– Consistency - no reuse of elements with different
meaning;– Context-free - meaning of (atomic) elements
independent of context; no functional dependency of (atomic) elements at the data encoding level;
• But, a bit inconvenient for real applications…
• Compliant with the requirements for– Completeness - all temporal states must be
representable;– Minimalism - use of minimal number of elements;– Consistency - no reuse of elements with different
meaning;– Context-free - meaning of (atomic) elements
independent of context; no functional dependency of (atomic) elements at the data encoding level;
• But, a bit inconvenient for real applications…
P1
FeatureProperties
P2
P3
P4
P5
TimeSlices: TS 1 TS 2 TS 3 TS 4 TS 5 TS 6 TS 7 TS 8
temporaryvalue w
Current status of a feature Current status of a feature
SNAPSHOT
SNAPSHOT = describes the state of a feature at a time instant, as result of combining the actual BASELINE Time Slice valid at that time instant with all TEMPDELTA Time Slices applicable at that time instant.
Permanent changes Permanent changes
• Two types of applications:– “Pull” Systems - provide an interface by which
a client can query the aeronautical information;
– “Push” Systems - generate and transmit to the client notifications about aeronautical information changes.
• Need to notify a permanent change• Need to notify “end of life”
• Two types of applications:– “Pull” Systems - provide an interface by which
a client can query the aeronautical information;
– “Push” Systems - generate and transmit to the client notifications about aeronautical information changes.
• Need to notify a permanent change• Need to notify “end of life”
P1
FeatureProperties
P2
P3
P4
P5
TimeSlices: TS 1 TS 2 TS 3 TS 4 TS 5 TS 6 TS 7 TS 8
temporaryvalue w
TS "temp”
Permanent changes Permanent changes
event
PERMDELTA = A kind of Time Slice that describes the difference in a feature state as result of a permanent change.
P1
FeatureProperties
P2
P3
P4
P5
Time
Time Slice TypesTime Slice Types
PERMDELTA 1(start of life) PERMDELTA 2 PERMDELTA 3
PERMDELTA 4PERMDELTA 5 PERMDELTA 6
PERMDELTA 7PERMDELTA 8
PERMDELTA 9(end of life)
TEMPDELTA
temporaryvalue w
SNAPSHOT
Baseline – undetermined end of validityBaseline – undetermined end of validity
BASELINE 8
BASELINE 5
BASELINE 2
BASELINE 4
BASELINE 1
FeatureProperties
BASELINE 3
BASELINE 6
BASELINE 9
PERMDELTA 1(start of life) PERMDELTA 2 PERMDELTA 3
PERMDELTA 4PERMDELTA 5 PERMDELTA 6
PERMDELTA 7PERMDELTA 8
TimeCorrected BASELINES validity B1 Validity B2 B3 B 5 B6 B7 B8
temporary a
SNAPSHOT
TEMPDELTA
CorrectionsCorrections
• Information about events that are planned to take place in future– update the already communicated information– may affect “event” Time Slices - of type
PERMDELTA and TEMPDELTA.
• Solution– Identify Time Slice concerned by a “sequence
number” – Also needed: “correctionNumber”
• Information about events that are planned to take place in future– update the already communicated information– may affect “event” Time Slices - of type
PERMDELTA and TEMPDELTA.
• Solution– Identify Time Slice concerned by a “sequence
number” – Also needed: “correctionNumber”
AIXMFeature
identifier : CodeUUIDType
<<feature>>
AIXMTimeSlice
validTime : TimePrimitiveinterpretation : TimeSliceInterpretationTypesequenceNumber : NoNumberTypecorrectionNumber : NoNumberType
<<object>>1..*+timeSlice 1..*
AIXMFeaturePropertyGroup<<object>>
1
+propertyGroup
1
Final UML representationFinal UML representation
Summary - Time Slice typesSummary - Time Slice types
• BASELINE = A kind of Time Slice that describes the feature state (the set of all feature’s properties) as result of a permanent change;
• PERMDELTA = A kind of Time Slice that describes the difference in a feature state as result of a permanent change;
• TEMPDELTA = A kind of Time Slice that describes the transitory changes of a feature state during a temporary event;
• SNAPSHOT = A kind of Time Slice that describes the state of a feature at a time instant, as result of combining the actual BASELINE Time Slice valid at that time instant with all TEMPDELTA Time Slices applicable at that time instant.
• BASELINE = A kind of Time Slice that describes the feature state (the set of all feature’s properties) as result of a permanent change;
• PERMDELTA = A kind of Time Slice that describes the difference in a feature state as result of a permanent change;
• TEMPDELTA = A kind of Time Slice that describes the transitory changes of a feature state during a temporary event;
• SNAPSHOT = A kind of Time Slice that describes the state of a feature at a time instant, as result of combining the actual BASELINE Time Slice valid at that time instant with all TEMPDELTA Time Slices applicable at that time instant.
“Delta” - Special situations“Delta” - Special situations
• Multiple occurring properties
• Complex properties
• Identifying the feature affected
• Multiple occurring properties
• Complex properties
• Identifying the feature affected
“Delta” for multiple occurring properties“Delta” for multiple occurring properties
<AirportHeliportTimeSlice> …. <serves> <City>
<name>…</name> </City> </serves> <serves> <City>
<name>…</name> </City> </serves>…
AirportHeliport
designator : CodeAirportHeliportDesignatorTypename : TextNameTypelocationIndicatorICAO : CodeICAOTypedesignatorIATA : CodeIATATypetype : CodeAirportHeliportTypeprivate : CodeYesNoTypecontrolType : CodeMilitaryOperationsTypereferencePointDescription : TextDescriptionTypefieldElevation : ValDistanceVerticalTypefieldElevationAccuracy : ValDistanceVerticalTypeverticalDatum : CodeVerticalDatumTypelocationDescription : TextDescriptionTypemagneticVariation : ValMagneticVariationTypedateMagneticVariation : DateYearTypemagneticVariationChange : ValMagneticVariationChangeTypereferenceTemperature : ValTemperatureTypealtimeterCheckLocation : TextDescriptionTypesecondaryPowerSupply : TextDescriptionTypewindDirectionIndicator : TextDescriptionTypelandingDirectionIndicator : TextDescriptionTypetransitionAltitude : ValDistanceVerticalTypetransitionLevel : ValFLTypelowestTemperature : ValTemperatureTypeabandoned : CodeYesNoType
<<feature>>
City
name : TextNameType
<<object>>
0..*0..* serves
Rule: Include all occurrences of the <serves> property in a TEMPDELTA or a PERMDELTA!
“Delta” for complex properties“Delta” for complex properties
<AirportHeliportLimitation> …. <hasApplicableTimes> <Timetable> <workingHours>…</workingHours> <isComposedOf>
<Timesheet>…</Timesheet> </isComposedOf> <isComposedOf>
<Timesheet>…</Timesheet> </isComposedOf> …. </hasApplicableTimes>…Rule: Include the whole complex property!
(“delta” applies strictly to the 1st level of properties!)
Timetable(f rom Time Management)
<<object>>
AirportHeliportUsageLimitation
codeUsageLimitation : CodeUsageLimitationType
<<object>>
0..10..1
hasApplicableTimes
Identifying the feature affected by “delta”Identifying the feature affected by “delta”
<Feature> <identifier>124F2647A767D7</identifier> <timeSlice> <validTime>….</validTime> <interpretation>BASELINE</interpretation> <sequenceNumber>23</sequenceNumber> <property1>….</property1> <property2>….</property2> …. </timeSlice> <timeSlice> <validTime>….</validTime> <interpretation>TEMPDELTA</interpretation> <sequenceNumber>23</sequenceNumber> <property4>….</property4> </timeSlice></Feature>
AIXMFeature
identifier : CodeUUIDType
<<feature>>
AIXMTimeSlice
validTime : TimePrimitiveinterpretation : TimeSliceInterpretationTypesequenceNumber : NoNumberTypecorrectionNumber : NoNumberType
<<object>>1..*+timeSlice 1..*
AIXMFeaturePropertyGroup<<object>>
1
+propertyGroup
1
Usage examplesUsage examples
• Start of life
• Change of properties
• Temporary situation (digital NOTAM)
• End of life
• …
• Start of life
• Change of properties
• Temporary situation (digital NOTAM)
• End of life
• …
Start of lifeStart of life
• Feature creation (commissioning) • Feature creation (commissioning)
Timeslice - validTime = timeInstant… - interpretation = PERMDELTA - sequenceNumber = 1 - startOfLife = same timeInstant… - property 1 - property 2 - property 3 - property 4
Feature - identifier
Timeslice - validTime = timeInterval with
undetermined end … - interpretation = BASELINE - sequenceNumber = 1 - startOfLife = same timeInstant… - property 1 - property 2 - property 4
Change of propertiesChange of properties
• Permanent change (amendment) • Permanent change (amendment)
Timeslice - validTime = timeInterval with
undetermined end … - interpretation = BASELINE - sequenceNumber = 2 - startOfLife = timeInstant… - property 1 - property 2 - property 4 - property 5
Timeslice - validTime = timeInstant… - interpretation = PERMDELTA - sequenceNumber = 2 - property 3 - property 5
Feature - identifier
digital NOTAMdigital NOTAM
• Temporary event • Temporary event
Timeslice - validTime = timeInterval… - interpretation = TEMPDELTA - sequenceNumber = 1 - property 4
Feature - identifier
End of LifeEnd of Life
• Feature withdrawing (decommissioning) • Feature withdrawing (decommissioning)
Feature - identifier
Timeslice - validTime = timeInstant… - interpretation = PERMDELTA - sequenceNumber = 3 - endOfLife = same timeInstant…
AIXM UML – including temporality
AIXM UML – including temporality