Transitive Dependencies in Transaction Closures

Complex applications consist of a large set of transactions which are interrelated. There are different kinds of dependencies among transactions of a complex application, e.g. termination or execution dependencies which are constraints on the occurrence of significant transaction events. In this paper, we analyze a set of (orthogonal) transaction dependencies. Here, we do not follow traditional approaches which consider advanced transaction structures as a certain kind of nested transactions. We introduce the notion of transaction closure as a generalization of nested transactions. A transaction closure comprises all transactions which are (transitively) initiated by one (root) transaction. By specifying dependencies among transactions of a transaction closure we are then able to define well-known transaction structures like nested transactions as well as advanced activity structures, e.g. workflows, in a common framework. In particular, we consider the transitivity property for all kinds of transaction dependencies discussed in this paper. Thus, we are able to conclude how two arbitrary transactions are transitively interrelated. This issue is fundamental for understanding the entire semantics of a complex application