Verifying Choreographic Descriptions of Web Services Based on CSP.
Wing Lok YeungJi WangWei DongPublished in: SCW (2006)
Keyphrases
- web services
- constraint satisfaction problems
- web service descriptions
- semantic descriptions
- service oriented
- web service composition
- service description
- service architecture
- business processes
- high level
- decomposition methods
- semantic web services
- constraint propagation
- constraint satisfaction
- web applications
- automatic discovery
- service composition
- data intensive
- loosely coupled
- web services composition
- natural language
- semantic matchmaking
- web services discovery
- arc consistency algorithm
- composition of web services
- natural language descriptions
- model checking
- service selection
- service oriented architecture
- np hard
- closest string
- tree decompositions
- constraint networks