Composite Web Services as Dataflow Graphs for Constraint Verification. - Jyotsana Gupta; Joey Paquet; Serguei A. Mokhov (CLOSER, 2020)