workflow-management, transaction model, ACTA
Mobile, BuJa95 , Buss95, Jabl94, Jabl95, Jabl97, JaBu96, SJKB94
Positionspapier. Formale Spezifikation kann auf der Basis von Ereignishistorien erfolgen. Ansätze hierfür sind ACTA, der Ansatz von Klein und der Ansatz von Jablonski. Die semantischen Eigenschaften werden kurz untersuch und drei Implementierungen vorgeschlagen. 1. Klassischer Transaktionsansatz, 2. Aktive Ablaufkontrolle, 3. Präskriptive Ablaufkontrolle, wobei die dritte Alternative für Workflow besser geeignet zu sein scheint.
Erster Aufsatz zur späteren Implementierung von Mobile.
17.4.97