Semantically Annotating Reactive Web Services with Temporal Specifications.
Monika SolankiAntonio CauHussein ZedanPublished in: SDWP@ICWS (2005)
Keyphrases
- web services
- formal descriptions
- reactive systems
- temporal reasoning
- spatial and temporal
- temporal data
- temporal analysis
- spatio temporal
- web service composition
- temporal constraints
- temporal information
- business processes
- temporal consistency
- semantic annotation
- service oriented
- business process
- web applications
- temporal evolution
- temporal relations
- description language
- high level
- operational semantics
- metadata
- data intensive
- temporal databases
- agent architecture
- quality of service
- service providers
- semantic web services
- temporal patterns
- service selection
- automatic discovery
- web services composition
- xml technology
- natural language