Interaktion von Daten und Zeit
Modellierung durch abstrakte Datentypen (ADT)
- „Nicht-zeitlicher“ Datentyp um zeitliche Eigenschaften erweitert
- Gesamte Entwicklungsgeschichte eines Wertes gekapselt
ADT‘s erweitern Typsystem von XSchema/XPath
- Alle Datentypen erhalten drei korrespondierende ADT‘s
- Baumstruktur von XPath nicht beeinflusst
Operationsmenge: Vereinigung von „nicht-zeitlichen“
und zeitlichen Operationen