Automated Web Services Composition with the Event Calculus.
Onur AydinNihan Kesim CicekliIlyas CicekliPublished in: ESAW (2007)
Keyphrases
- event calculus
- web services composition
- composition of web services
- web service composition
- situation calculus
- service composition
- reasoning about actions and change
- temporal reasoning
- partially ordered
- web services
- reasoning tasks
- deductive databases
- domain specific knowledge
- highly reliable
- transitive closure
- service selection
- quality of service
- general theory
- service discovery
- action theories
- temporal information
- petri net