An Operational Semantics for Model Checking Long Running Transactions.
Hengbiao YuZhenbang ChenJi WangPublished in: WS-FM (2013)
Keyphrases
- model checking
- operational semantics
- long running
- temporal logic
- continuous queries
- low latency
- formal semantics
- workflow management systems
- formal specification
- model theoretic
- database
- mental states
- data model
- verification method
- fault tolerance
- distributed database systems
- modal logic
- concurrency control
- dynamic environments
- data streams
- speech acts
- artificial intelligence
- approximate answers
- databases