Verification of Web Service Conversations Specified in WSCL.
Zhifeng GuJuan-Zi LiJie TangBin XuRuobo HuangPublished in: COMPSAC (2) (2007)
Keyphrases
- web services
- face verification
- model checking
- colored petri nets
- multi party
- service providers
- person identification
- description language
- verification method
- semantic web technologies
- content analysis
- web applications
- conversational speech
- concurrent systems
- search engine
- asynchronous circuits
- xml technology
- formal verification
- formal analysis
- business applications
- service oriented
- quality of service
- case study
- e learning