随着业务流程管理研究的不断发展,流程可变性已成为其研究领域的一个重要方面。此时,业务流程不仅需要精确描述企业实际的业务过程,还要适应企业实时业务的发展变化,支持企业提高竞争力而做的业务流程重组。围绕这一目标,信息技术和经济管理领域都提出了业务流程可变性的研究问题,进行了许多前沿性的探索工作,并提出了相应的理论方法实现这一目标。业务流程可变性研究主要有三个方向：(1)业务流程建模方向,即在流程的分析和设计阶段考虑流程未来可能出现的变化,并准确描述业务的变化环节。(2)业务流程实现,即在流程部署运行后能够进行相应的调整。(3)业务流程自适应性研究,即结合一些智能技术使流程能够根据环境变化做出分析来调整流程的结构。虽然流程可变性研究在这三个研究方向上都取得了丰富的成果,但在可变流程模型的定义方面,对业务专家独立进行业务流程的调整尚缺乏支持力度。本文结合已有的研究成果,针对现有可变流程模型存在的不足,从流程建模的角度研究流程的可变性。在总结现有的流程变化类型和原子变化的基础上,提出了一种支持业务流程可变性的流程模型。文中首先给出了流程模型的定义、流程变化关键性元素以及实现流程可变性的调整方法；然后在理论上应用Pi-演算对流程模型的合理性、支持流程变化的完备性进行了分析；进一步研究了本流程模型在Web Service技术下的实现,重点分析了模型元素和流程结构的映射过程,最后根据本课题研究的原型系统“虚拟旅行社智能代理平台”(Intelligent Platform of Virtual Travel Agent,IPVita),详细讨论了如何应用流程模型对可变的旅行流程进行分析、建模以及实现流程的动态变调整。本文提出的可变业务流程模型不仅丰富了业务流程管理理论,且通过其在Web Service技术下的实现进一步拓宽了流程模型的应用范围。目前对流程模型的研究还存在以下方面的不足：流程模型的研究更多还停留在理论阶段,对于实际应用的领域范围尚未很清晰的界定,模型的消息传递机制实现不够细致,这些都将是本课题下一步的工作方向。