为了能够标准化的进行业务流程管理,业务流程管理组织(BPMI)制定了一些开发的规范,其中包括业务流程建模图符(BPMN)。BPMN是业务流程管理系统体系结构的核心部件之一。BPMN的设计目标是简单易用,同时能够对复杂的业务流程进行建模。业务流程执行语言(BPEL)是一种以XML来描述业务流程的语言。通过使用BPEL可以实现在不同平台上的业务流程的跨平台整合服务。在BPMN引擎中,从业务模型到执行模型的转换,通常情况下可以正常进行。但是,还存在着无法从BPMN向BPEL映射的情况,例如循环结构,意味着在BPMN引擎中无法顺利执行业务流程。这是由模型转换之间存在的语义失配问题造成的。针对上述问题,本文基于BPMN理论尝试性的提出了规范化的BPMN设计方法,并对现有的BPMN设计工具进行了功能扩展。通过方法的实现,解决了从BPMN无法向BPEL映射的问题,使业务模型到执行模型可以顺利的进行转换。通过对业务流程进行仿真,验证了设计方法的合理性和有效性。设计工具的功能扩展,节省了业务流程建模设计的时间,提高了BPM设计与实施的效率。