Behavior modeling and automated verification of Web services.

Quan Z. Sheng Zakaria Maamar Lina Yao Claudia Szabo Scott Bourne

Published in: Inf. Sci. (2014)

Keyphrases

web services
automated verification
model checking
web applications
formal verification
colored petri nets
service discovery
modeling method
neural network
machine learning
expert systems
graphical models
business process
web service composition