A formal and visual modeling approach to choreography based web services composition and conformance verification.

Published in: Expert Syst. Appl. (2011)

Keyphrases

web services composition
web services
formal methods
formal models
formal model
colored petri nets
web service composition
process algebra
composition of web services
real time
highly reliable
visual features
formal analysis
modeling method
visual perception
service composition
low level