Validating Orchestration of Web Services with BPEL and Aggregate Signatures | IEEE Conference Publication | IEEE Xplore