Analysis of dependencies in advanced transaction models

Abstract

Transactional dependencies play an important role in coordinating and executing the subtransactions in advanced transaction processing models, such as, nested transactions and workflow transactions. Researchers have formalized the notion of transactional dependencies and have shown how various advanced transaction models can be expressed using different kinds of dependencies. Incorrect specification of dependencies can result in unpredictable behavior of the advanced transaction, which, in turn, can lead to unavailability of resources and information integrity problems. In this work, we focus on how to correctly specify dependencies in an advanced transaction. We enumerate the different kinds of dependencies that may be present in an advanced transaction and classify them into two broad categories: event ordering and event enforcement dependencies. Different event ordering and event enforcement dependencies in an advanced transaction often interact in subtle ways resulting in conflicts and redundancies. We describe the different types of conflicts that can arise due to the presence of multiple dependencies and describe how one can detect such conflicts. An advanced transaction may also contain redundant dependencies-these are dependencies that can be logically derived from other dependencies. We show how such extraneous dependencies can be eliminated to get an equivalent set of dependencies that has the same effect as the original set. Our dependency analysis is done in the context of a generalized advanced transaction model that is capable of expressing different kinds of advanced transactions.

Log-based transactional workflow mining

“…They propose an extended Petri net model for specifying exceptional behavior in business processes and adapt the mechanisms of the underlying Petri net at run time to handle exceptions while keeping the Petri net design simple and easy. Recently, Indraksy et al [60] focus on how to correctly specify dependencies in advanced transactions. The authors enumerate the different kinds of dependencies that may be present in advanced transactions and classify them in two broad categories: event ordering and event enforcement dependencies.…”

Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development

“…Even though this work contributes in highlighting the potential of achieving a general-purpose control abstraction, with which variations of the transactional model could be built, no further development has followed. A generalization of the notion of transaction, called generalized advanced transaction, is provided in [15]. A generalized advanced transaction is defined as a directed graph having as nodes a set of transactions and as edges a set of dependencies.…”