随着经济全球化和信息技术的飞速发展，面向服务的思维方式解决了企业信息系统对于快速响应需求与环境变化、提高系统可重用性、信息资源共享和系统间互操作水平的要求的一系列关键问题。在面向服务的系统构建中，我们的目的是所建系统能够快速响应业务的变化。那么，反映业务变化的业务流程模型在面向服务的系统分析过程中就占据了非常重要的位置。本论文以面向服务的分析与设计方法构建系统为基础，重点对贯穿其中的业务流程建模进行研究。　　 当前的业务流程模型，更需要表达出市场、客户以及其它外部环境的需求，表达出复杂约束的业务过程。然而，目前的业务流程建模方法，如业务过程图、IDEF系列模型和事件过程链等，多是基于活动、面向产品、面向目标或面向决策的，分别从业务过程的主体活动、行为结果、目的等角度描述。这些建模方法对组织人员及其角色缺乏重视，同时缺乏智能柔性的业务过程支持，对于复杂约束的业务过程难以描述。业务流程建模语言（BPEL）是一种基于XML的业务流程建模语言。是当前所有流程建模语言当中最流行且最受关注的一个。它有着诸多优秀的语言上的特性，能够进行业务流程建模的定义，进行资源的连接和规划，且提供了一个整合使用Web服务的标准语言。然而，BPEL在使用及功能上也存在很多不足，如无法进行图形化建模，对业务规则支持不足等问题。　　 针对上述问题，本文提出了基于规范和SOA的业务流程建模方法。该方法首先利用UML和规范来对业务流程建模，然后，将其转换为BPEL并执行该业务流程。UML是一种优秀的统一建模语言，规范是决定社会、组织交互和控制的可供性的清晰描述的规则和准则以及一些不清晰的公认的社会规则。利用UML和规范表达出来的图形，不仅具有很强的通用性，易读性，便于业务分析人员与用户交流，而且规范还可以表达出主体、环境的特性。该方法不仅解决了流程建模方法中存在的问题，也在一定程度上完善了BPEL的不足。最后，通过一个实例验证了该方法在面向服务的系统分析与设计中的适用性。　　 论文还分析了业务流程建模的研究现状，介绍了SOA、规范的相关理论知识，以及不同角色对SOA的理解。并对Web Service、BPEL进行了详细介绍。WebService是组成SOA的一个很重要的部分，业务功能可以通过Web Service被封装成服务，这样业务功能的实现与技术平台和编程语言就达到了无关性。BPEL可以用来实现服务组合，它是基于业务流程编排的一种服务组合规范。