Discovery and Selection of Certified Web Services Through Registry-Based Testing and Verification.
Dimitrios KourtesisErvin RamollariDimitris DranidisIraklis ParaskakisPublished in: Virtual Enterprises and Collaborative Networks (2008)
Keyphrases
- web services
- web service discovery
- web service selection
- service discovery
- service oriented
- service description
- test generation
- formal verification
- business processes
- composition of web services
- web service composition
- web applications
- service composition
- quality of service
- service architecture
- automatic discovery
- semantic web services
- service oriented architecture
- service providers
- database
- symbolic execution
- colored petri nets
- model checking
- loosely coupled
- description language
- scientific discovery
- data mining
- web technologies
- selection algorithm
- test set
- distributed systems
- service selection
- test data
- e learning
- pattern discovery
- layered architecture
- business process
- data sets
- selection strategy