Mapping WS-CDL and BPEL into CSP for Behavioural Specification and Verification of Web Services.
Wing Lok YeungPublished in: ECOWS (2006)
Keyphrases
- colored petri nets
- web services
- petri net
- process algebra
- web services composition
- formal methods
- constraint satisfaction problems
- formal verification
- semantic matching
- description language
- service composition
- model checking
- web service composition
- business processes
- constraint propagation
- semantic web services
- business applications
- protocol specification
- service oriented
- composition of web services
- asynchronous circuits
- bpel ws
- service discovery
- service oriented architecture
- business process
- user interface
- constraint networks
- service architecture
- semantic web
- web applications