CSP-Based Verification for Web Service Orchestration and Choreography.
W. L. YeungPublished in: Simul. (2007)
Keyphrases
- web services
- service oriented architecture
- service oriented computing
- colored petri nets
- constraint satisfaction problems
- service oriented
- loosely coupled
- service discovery
- business processes
- business process
- web service composition
- service composition
- decomposition methods
- constraint solving
- description language
- arc consistency
- model checking
- quality of service
- verification method
- web applications
- tree decomposition
- constraint propagation
- semantic web services
- lightweight
- constraint networks
- formal verification
- face verification
- business applications
- constraint satisfaction
- web service discovery
- service providers
- composition of web services
- service selection
- asynchronous circuits
- constraint graph
- np complete
- web service technology
- functional verification