An overview of transaction logic

Graphical and Logical Formalisms for Business Process Modeling and Verification

“…Transaction logic (Bonner and Kifer 1994;Kifer 1996) has been proposed to analyze state-based process models, in which the notion of states corresponds to the notion of database states. Nevertheless, most process modeling paradigms in existing information systems apply activity-based modeling (Davenport 1993;Lin et al 2002).…”

Nonmonotonic Reasoning in FLORA-2

“…Some of the most serious problems with these approaches is that they impose special programming styles (which is a significant burden) and that they do not support subroutines -one of the most fundamental aspects of any programming language. Transaction Logic [4][5][6] is a comprehensive solution to the problem of updates in logic programming. This solution has none of the above drawbacks and it fits nicely with the traditional theory of logic programming.…”

“…Negation that obeys such an inference rule is not classical and is often called default negation. 4 Various forms of the closed-world assumption (CWA) have been successfully used in database and logic programing applications for over thirty years now and vast experience has been accumulated with the use of this paradigm in knowledge representation [9,28,16]. In contrast, classical logic is based on the open-world assumption (OWA), and this has been the sine qua non in, for example, the description logic community.…”

Rule-Based Dynamic Modification of Workflows in a Medical Domain

“…For the purposes of this paper, we use a combination of F-Logic and Transaction Logic (TL) [KLW95, BK94,BK95] to formalize the interaction between semantic exception events, rules and workflow instances. F-Logic is used to represent both the data model for medical events and activities, and rules expressing dependencies between events and activities in a natural object-oriented manner.…”