Describing and Verifying Web Service by CCS on a Case Study.
Li BaoWeishi ZhangXiuguo ZhangPublished in: ICNSC (2008)
Keyphrases
- web services
- case study
- model checking
- test bed
- xml technology
- quality of service
- service architecture
- web service composition
- description language
- service providers
- service oriented architecture
- business applications
- semantic web services
- web services discovery
- real time
- loosely coupled
- service discovery
- web applications
- knowledge base
- e learning
- decision making
- information retrieval
- real world