Name
Abstract | ||
|---|---|---|
In modern transaction processing software, the ACID properties (atomicity, consistency, isolation, durability) are often relaxed, in order to address requirements that arise in computing environments of today. Typical examples are the long-running transactions in mobile computing, in service-oriented architectures and B2B collaborative applications. These new transaction models are collectively known as advanced or extended transactions. Formal specification and reasoning for transaction properties have been limited to proof-theoretic approaches, despite the recent progress in model checking. In this work, we present a model-driven approach for generating a provably correct implementation of the transaction model of interest. The model is specified by state machines for the transaction participants, which are synchronized on a set of events. All possible execution paths of the synchronized state machines are checked for property violations. An implementation for the verified transaction model is then automatically generated. To demonstrate the approach, the specification of nested transactions is verified, because it is the basis for many advanced transaction models. Concurrency and Computation: Practice and Experience. Copyright © 2012 John Wiley & Sons, Ltd. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.1002/cpe.1876 | Concurrency and Computation: Practice and Experience |
Keywords | Field | DocType |
transaction property,nested transaction,model checking,modern transaction processing software,state machine,new transaction model,long-running transaction,advanced transaction model,transaction participant,code generation,extended transaction,transaction model | Atomicity,Transaction processing,Model checking,Model driven development,Durability,Computer science,Code generation,Software,Distributed computing | Journal |
Volume | Issue | ISSN |
24 | 7 | 1532-0626 |
Citations | PageRank | References |
6 | 0.55 | 10 |
Authors | ||
2 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| Anakreon Mentis | 1 | 17 | 2.31 |
| Panagiotis Katsaros | 2 | 262 | 30.51 |