Software Process Modeling and Execution: The UML4SPM to WS-BPEL Approach | IEEE Conference Publication | IEEE Xplore