Formal Verification of Distributed Transaction Management in a SOA Based Control System.
Ivana PopovicVladislav VrtunskiMiroslav PopovicPublished in: ECBS (2011)
Keyphrases
- transaction management
- formal verification
- distributed object
- control system
- query decomposition
- distributed database systems
- distributed database management systems
- multidatabase systems
- database systems
- long lived
- model checking
- execution model
- mobile database
- model checker
- concurrency control
- database management systems
- bounded model checking
- distributed systems
- transaction processing
- automated verification
- transaction model
- symbolic model checking
- web services
- multidatabase transaction management
- distributed environment
- peer to peer
- concurrency control protocols
- commit protocols
- open problems
- service oriented
- fine grained
- service oriented architecture
- mobile agents
- business processes
- object oriented