Upload
annabella-oral
View
32
Download
0
Tags:
Embed Size (px)
DESCRIPTION
AIXM 5 Temporality Model. An 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 model. Time is essential for AI For operational reasons, distinction between: permanent changes - PowerPoint PPT Presentation
Citation preview
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