workflow-management, ConTracts, Advanced Transaction Models, APRICOTS
First Link
Enter abstract hereIn diesem Beitrag werden das fortgeschrittene Datenmodell und die fortgeschritten Parallelitätskontrollmechanismen von ConTracts vorgestellt. Das Datenmodell Context baut sich aus Kontextelementen auf. Diese Kontextelement können nur durch Schritte geändert werden. Kontextelemente werden in einer veränderungsfreien Historie gespeichert. Die Parallelitätskontrolle erstreckt sich aus die Kontrollkonstrukte Sequenz, Schleifen und Parallele Zweige. Das Korrektheitskriterium für ConTract-Workflow beruht auf Isolation und invariantenbasierter (Constraints nach Schritten, die Kompensationen ermöglichen) Synchronisation.
Gut, aber ein wenig stiefmütterlich behandelt, ist die Anforderung, daß Historien abgespeichert wrden müssen.
17.4.97