Transitive dependencies in transaction closures

Topological properties for characterizing well‐formedness of process components

“…Two families of topological properties investigated are connection properties and closure ones. Transitive closure property has been largely used in many domains, for instance, in database (Zloof 1976, Aho et al 1979, Cruz et al 1987, Yannakakis 1990, Houtsma et al 1991, Schwarz et al 1998, configuration management (Christensen 2000), and network (Khuller andRaghavachari 1996, Oliveira et al 2005). In CBSE, some models also suggest using transitive closure as an attribute that guarantees the low interdependency of component (OMG 2002, Sametinger 1997 .…”

Wechselwirkungen von Abhängigkeiten in transaktionalen Workflows

“…Transaktionale Workflows beinhalten die koordinierte Ausführung vieler, in Beziehung stehender Tasks, die auf heterogene, autonome und verteilte Systeme zugreifen und transaktionale Eigenschaften der Tasks des Workflows ausnutzen (Worah et al 1997). Zur Spezifikation der Korrektheit des Workflows, der Datenkonsistenz und der zuverlässigen Ausführung von Workflows werden in der Regel erweiterte Transaktionsmodelle (Elmagarmid 1992) (Georgakopoulos et al 1995, Reuter et al 1997, Alonso et al1996 (Schwarz et al 1998c) vor, das Gesetzmäßigkeiten der Real-Welt als Abhängigkeiten zwischen Transaktionen modelliert. Mit Hilfe dieses einheitlichen und formalen Rahmens können wir Abhängigkeiten zwischen Transaktionen (Tasks) beschreiben, die sowohl in erweiterten Transaktionsmodellen (Moss 1985) als auch in Aktivitätenmodellen (Dayal et al1991, Rusinkiewicz et al 1995 oder Workflow-Modellen (Georgakopoulos et al 1995, Worah et al 1997 …”

“…Terminierungsabhängigkeiten zwischen zwei unterschiedlichen Transaktionen legen zulässige und unzulässige Kombinationen von Terminierungsereignissen dieser beiden Transaktionen fest (Schwarz et al 1998c Die Abhängigkeiten sind formal wie folgt definiert. Das Pfeilsymbol ⇒ beschreibt die logische Implikation, zum Beispiel besagt (a t i ⇒ a t j ), daß der Abbruch von t i den Abbruch von t j erfordert:…”

“…Die dritte Dimension von Abhängigkeiten zwischen Transaktionen betrifft die Sichtbarkeit der Ergebnisse oder Effekte von Transaktionen auf andere Transaktionen (Schwarz et al 1998c …”

“…Diese Regeln haben wir in früheren Arbeiten ermittelt, einen Algorithmus zur Herleitung angegeben und zu einer Regelmenge zusammengefaßt (Schwarz et al 1998c, Schwarz et al 1998a …”