Client and server verification for web services using interface grammars.
Graham HughesTevfik BultanMuath AlkhalafPublished in: TAV-WEB (2008)
Keyphrases
- client server architecture
- web services
- client server
- central server
- user interface
- web applications
- peer to peer
- web browser
- database server
- cache management
- service providers
- colored petri nets
- ip address
- microsoft windows
- service oriented
- database
- model checking
- client server databases
- quality of service
- network communication
- business process
- java applet
- service architecture
- outsourced databases
- distributed databases
- business processes
- natural language
- context free
- mobile clients
- context free grammars
- web service composition
- description language
- service requests
- user friendly
- natural language processing
- internet services
- signature verification
- grammatical inference
- semantic web services
- visual languages