Verifying Composite Service Transactional Behavior Using Event Calculus.
Walid GaaloulMohsen RouachedClaude GodartManfred HauswirthPublished in: OTM Conferences (1) (2007)
Keyphrases
- event calculus
- composite services
- transactional properties
- situation calculus
- deductive databases
- web service composition
- temporal reasoning
- partially ordered
- domain specific knowledge
- service composition
- transitive closure
- reasoning tasks
- web services
- service oriented
- temporal databases
- service selection
- database
- lightweight
- logic programming
- databases