On the Verification of Behavioral and Probabilistic Web Services Using Transformation.
Giti OghabiJamal BentaharAbdelghani BenharrefPublished in: ICWS (2011)
Keyphrases
- web services
- web applications
- automatic discovery
- linear transformation
- service composition
- colored petri nets
- learning algorithm
- verification method
- web service discovery
- semantic web services
- uncertain data
- service oriented
- model checking
- bayesian networks
- posterior probability
- belief networks
- service oriented architecture
- service discovery
- quality of service
- probabilistic reasoning
- web service composition
- data intensive
- business process
- generative model
- probabilistic model
- layered architecture
- case study