A Contract-Based Approach for Monitoring Collaborative Web Services Using Commitments in the Event Calculus.
Mohsen RouachedOlivier PerrinClaude GodartPublished in: WISE (2005)
Keyphrases
- event calculus
- web services
- reasoning tasks
- situation calculus
- reasoning about actions and change
- deductive databases
- temporal reasoning
- commonsense reasoning
- partially ordered
- domain specific knowledge
- transitive closure
- general theory
- indirect effects
- qualitative and quantitative
- temporal databases
- domain independent
- expert systems
- databases