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 Temporality documentAIXM Temporality document

Soon on www.aixm.aero

AIXM UML – including temporality

AIXM UML – including temporality