Verification of Web Services Using an Enhanced UDDI Server.
Wei-Tek TsaiRaymond A. PaulZhibin CaoLian YuAkihiro SaimiBingnan XiaoPublished in: WORDS (2003)
Keyphrases
- web services
- service providers
- web service discovery
- client server
- internet services
- web applications
- service oriented
- model checking
- description language
- web service composition
- service requests
- web server
- service discovery
- colored petri nets
- business processes
- business process
- semantic web services
- loosely coupled
- service architecture
- automatic discovery
- quality of service
- data intensive
- signature verification
- asynchronous circuits
- network bandwidth
- formal verification
- service composition
- layered architecture
- central server
- service oriented architecture