Back to article IJET An approach for verifying correctness of web service compositions Download Download PDF