Service Composition and Modeling Business Processes with BPEL