扩展BPEL4WS实现基于语义的服务流程动态细化 - 沈浴竹; 向勇; 张少华; 姜进磊; 史美林 (Tongxin xuebao)