The frame problem in Web service specifications.
George BaryannisDimitris PlexousakisPublished in: PESOS@ICSE (2009)
Keyphrases
- web services
- delay insensitive
- situation calculus
- high level
- event calculus
- service oriented
- web service composition
- reasoning about actions
- web service selection
- formal specification
- turing test
- service architecture
- specification language
- semantic web services
- service discovery
- functional requirements
- description language
- business applications
- web applications
- enterprise application integration
- domain description
- xml technology
- written in natural language
- real time
- execution environment
- control flow
- finite state machines
- quality of service
- service providers
- response time
- expert systems
- data sets