工作流模型是构建工作流管理系统的基础,也是构建企业信息系统的关键。基于构件的软件复用是解决软件复用问题的关键技术,这种技术在软件开发过程中具有重要作用。因此,为了提高软件生产效率和软件开发质量以及运用基于构件的技术开发工作流建模工具,有必要研究基于构件的工作流建模工具的技术。软件体系结构的设计是整个软件系统开发的关键环节,也是系统取得长远成功的关键因素,为此,需要对基于构件的工作建模工具的体系结构进行设计,以满足企业复杂业务管理的需求。本文提出并设计了一种基于构件的工作流建模工具的体系结构,对该体系结构的评估表明,该体系结构在扩展性和适用性上要明显优于传统架构。同时用π演算方法对工作流中的活动和迁移进行了形式化描述,以确保流程的正确执行。本文第一部分的工作是在分析传统工作建模工具体系结构的基础上,提出并设计了一种基于构件的工作流建模工具的体系结构,通过软件体系结构分析方法对该体系结构进行了评估,并将该体系结构与传统的B/S架构进行了对比,相关实验表明,该体系结构在扩展性和适用性上要明显优于传统B/S架构。本文第二部分的工作是提出并通过π演算方法对工作流进行形式化描述,以增强系统的检验能力,同时提出了基于π演算的工作流验证方法,从而保证确保工作流的正确执行。本文第三部分的工作是按照基于构件的软件开发过程结合上面提出的体系结构,设计并实现了基于构件的工作流建模工具。本文第四部分的工作是通过应用实例验证了基于构件的工作流建模工具的功能。通过物流配送实例,分析配送过程业务逻辑,对配送业务流程进行建模。通过流程定义模型,给出了物流配送流程的仿真过程。最后,本文使用Eclipse富客户端平台和Java语言,结合图形编辑框架Graphical Editing Framework (GEF)技术实现了一个简洁、友好的系统用户界面。