A Formal Dynamic Verification of Choreographed Web Services Conversations.

Karim Dahmani Mahjoub Langar Riadh Robbana

Published in: ProvSec (2015)

Keyphrases

web services
formal methods
dynamic environments
formal analysis
web applications
service providers
automatic discovery
business processes
service oriented
service discovery
computational framework
web service composition
colored petri nets
formal descriptions