Dependence graphs for verifications of web service compositions with PEWS
Cheikh Ba, Mírian Halfeld Ferrari · 2008
PEWS is an interface description language for both individual and composed web services. We propose an approach for verifying PEWS compositions which exploits dependence graphs (equivalent to trace systems). The introduction of a synchronization based on dependence graphs allows more efficient algorithms for testing composition properties.