workflow-management, transaction-management,GTE, DOMS
First Link
Einführung in erweiterte Transaktionsmodelle und Abhängigkeiten zwischen Aufgaben in der Literatur. Für diese Abhängigkeiten wird ein Rahmenwerk mi Korrektheitskriterien und Schedulingklassen definiert. Dieses Rahmenwerk dient zur Einordnung der Literatur. Hier werden Abhängigkeiten als Zustandsabhängigkeiten zwischen den von außen beobachtbaren Zuständen einer Aufgabe definiert. Zum Schluß wird die Arbeit mit ACTA verglichen.
Sehr formal. Anwendungen vor allem in der Telekommunikation. Grundlegende Arbeit.
16.4.97