Requirements-Driven Verification of Web Services.
Marco PistoreMarco RoveriPaolo BusettaPublished in: Electron. Notes Theor. Comput. Sci. (2004)
Keyphrases
- web services
- data driven
- web applications
- web service composition
- description language
- genetic algorithm
- model checking
- service composition
- functional requirements
- user requirements
- web service compositions
- colored petri nets
- web services composition
- formal methods
- face verification
- semantic web services
- web technologies
- service oriented
- quality of service
- business process
- business processes
- service providers