Verification of Choreographies During Execution Using the Reactive Event Calculus.
Federico ChesaniPaola MelloMarco MontaliPaolo TorroniPublished in: WS-FM (2008)
Keyphrases
- event calculus
- situation calculus
- reasoning about actions and change
- reasoning tasks
- commonsense reasoning
- deductive databases
- partially ordered
- temporal reasoning
- domain specific knowledge
- transitive closure
- model checking
- databases
- artificial intelligence
- general theory
- reasoning about actions
- action theories
- initial state
- software engineering
- database systems