Web Service Composition: A Comparison of BPEL with A Process Algebra