随着服务组合理论的不断成熟,将基于BPMN的业务流程图转换为BPEL代码进而实现服务组合的研究受到广泛关注.目前BPMN模型的映射方法不能完成复杂结构的映射且需要人工参与.首先提出了一个基于服务组合的软件系统框架和BPMN的形式化描述方法.然后给出一种基于BPMN的业务流程图到BPEL的映射方法,其主要思想是首先映射数据流,再映射控制流来组织基本活动的执行顺序.在控制流映射中分析了基本结构和复杂结构映射的解决方案.最后,利用网上预约看病实例证明了映射方法的可行性.