workflow-management, transaction model
TransCoop, PTVe96, JLP*95, VLPi95,TaVe95b
Ziele des ESPRIT-III LTR Projektes TransCoop sind die Entwicklung einer Sprache zur Modellierung von kooperativen Aufgaben, die Entwicklung eines Transaktionsmodells, das durch Parametrisierung die Ausführung spezifizierter Aufgaben unterstützt und die Entwicklung eines formalen Modelles zum Beweis, daß das Transaktionsmodell die Anforderungen der Spezifikationssprache erfüllt. In diesem Forschungbericht geht es um das Transaktionsmodell, das in Finnland schon instanziiert wurde. PortNet behandelt die Abfahrt und Ankunft von Schiffen. Die Semantik des Modells liegt in den Aufgabenschritten und deren Abhängigkeiten untereinander, die gewisse Schedules ermöglichen. Aufgaben sind die Bestimmung akzeptierender Zustände und die Identifizierung des nächsten Aufgabenschrittes (da dieser nicht a priori bestimmbar ist). Im folgende werden die Eigenschaften von Konsistenzeinheiten diskutiert. Die C-Units garantieren Integritätsbedingungen bei der Ausführung von Workflows über Applikationsgrenzen hinaus. Sie beinhalten Transaktionsmechanismen und Recovery-Strategien,
Meinung muß ich mir noch bilden.
17.4.97