Transactional BPEL Processes with AO4BPEL Aspects | IEEE Conference Publication | IEEE Xplore