Automated Testing of WS-BPEL Service Compositions: A Scenario-Oriented Approach