Ultimately Periodic Simple Temporal Problems (UPSTPs)

International audienceIn this paper, we consider quantitative temporal or spatial constraint networks whose constraints evolve over time in an ultimately periodic fashion. These constraint networks are an extension of STPs (Simple Temporal Problems). We study some properties of these new types of constraint networks. We also propose a constraint propagation algorithm. We show that this algorithm decides the consistency problem in some particular cases

Unterstützung von Periodizität in Informationssystemen

In vielen Anwendungsgebieten kommt zunehmend der Wunsch auf, temporale Aspekte systemseitig zu unterstützen. Ein solches Gebiet ist die Unterstützung von Geschäftsprozessen durch prozessorientierte Informationssysteme. Eine große Herausforderung bildet hier die adäquate Handhabung von Geschäftsprozessen, die aus regelmäßig (periodisch) wiederkehrenden elementaren Aktivitäten oder Abfolgen von Aktivitäten bestehen. Die systemseitige Unterstützung solcher periodischen Prozesse bzw. periodischen Spezifikationen (Periodizität) weist Anforderungen auf, die weit über die temporalen Fähigkeiten heutiger Informationssysteme hinausgehen. Gegenstand dieser Arbeit ist die Entwicklung eines ganzheitlichen Ansatzes zur integrierten Unterstützung von Periodizität in (prozessorientierten) Informationssystemen. Das zentrale Anliegen ist hierbei, Konzepte und Modelle zu entwickeln, die als Basistechnologien zur Unterstützung periodischer Zusammenhänge in unternehmensweiten (prozessorientierten) Informationssystemen (auch bei tausenden von Benutzern und aktiven Prozess-Instanzen), wesentlich sein werden. In dieser Arbeit wird mit dem zyklenorientierten Modell ein logisches (Meta-) Zeitmodell eingeführt, das eine ausdrucksstarke und anwenderorientierte Beschreibung von komplexen periodischen Spezifikationen ermöglicht. Neben einfachen (äquidistanten) periodischen Angaben können auch komplexe (nichtäquidistante) periodische Angaben beschrieben werden. Des Weiteren wird mit dem HSP-Baum eine kompakte und berechenbare Repräsentationsform des (theoretischen) zyklenorientierten Modells vorgestellt. Der HSP-Baum bildet mit seiner präzisen formalen Syntax und Semantik die Grundlage dafür, dass semantisch falsche, inkonsistente oder widersprüchliche Angaben erkannt und korrigiert werden können. Zur Steigerung der temporalen Fähigkeiten heutiger Informationssysteme ist eine operationale Unterstützung unumgänglich, die einen effizienten Umgang mit periodischen Spezifikationen ermöglicht. Mit der in dieser Arbeit entwickelten Bitletrepräsentation wird ein entsprechender Lösungsansatz vorgestellt. Die Bitletrepräsentation begegnet dem Hauptproblem bestehender Realisierungsverfahren, das zu einem starken Anstieg sowohl des operationalen Aufwands als auch des Repräsentationsumfangs führte. Darüber hinaus kann die Bitletrepräsentation als eine Form der (verlustfreien) Komprimierung von Wiederholungsmustern verstanden werden, was zu äußerst kompakten Repräsentationen periodischer Spezifikationen führen kann. Insgesamt erlauben die entwickelten Lösungen und Algorithmen eine durchgängige Unterstützung periodischer Zusammenhänge. Auf Basis prototypischer Realisierungen können wir ebenfalls zeigen, dass die Skalierbarkeit und Effizienz der Lösungen auch bei großem Datenvolumen gewährleistet wird