Describing and Verifying Web Service by CCS on a Case Study.

Li Bao Weishi Zhang Xiuguo Zhang

Published 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