Reasoning about orchestrations of web services using partial correctness.
Alan StewartJoaquim GabarróAnthony KeenanPublished in: Formal Aspects Comput. (2013)
Keyphrases
- web services
- web applications
- automatic discovery
- service oriented
- service providers
- web service composition
- service discovery
- data intensive
- business process
- service architecture
- web service discovery
- loosely coupled
- description language
- service selection
- web service selection
- complete axiomatization
- ws bpel
- service oriented architecture
- service composition
- quality of service
- qualitative reasoning
- information retrieval
- semantic web services
- layered architecture
- metadata
- knowledge base