9 search results - page 1 / 2 » A Formal Approach to Recovery by Compensating Transactions |
VLDB
1990
ACM
13 years 8 months ago
1990
ACM
Compensating transactions are intended to handle situations where it is required to undo either committed or uncommitted transactions that affect other transactions, without resor...
ESOP
2010
Springer
13 years 9 months ago
2010
Springer
Modern software systems have frequently to face unexpected events, reacting so to reach a consistent state. In the field of concurrent and mobile systems (e.g., for web services) ...
HICSS
1994
IEEE
13 years 8 months ago
1994
IEEE
Compensation is the process by which a committed transaction in a database is undone by running the semantic inverse of that transaction on the database. Compensation has been pro...
FASE
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. This paper presents a true-concurrent approach to formalising integration of Small-to-Medium Enterprises (SMEs) with Web services. Our approach formalises common notions ...
VLDB
2001
ACM
14 years 4 months ago
2001
ACM
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...