论文着重探讨了工作流管理系统中的建模问题的设计和实现，提出了一个基于XPDL的可视化建模工具的解决方案，并在此基础上增加了模型验证机制和实时通信手段，达到了分离工作流建立和实施阶段的目的，并提供了良好的性能。 论文首先介绍了项目的背景、课题的研究意义和相关的工作流技术。构建工作流管理系统的目的就是为了对企业的业务逻辑和管理逻辑进行解耦，参考模型的提出为建模过程的独立和复用创造了可能。综合比较各种流行的建模方法和模型描述语言，选择XPDL规范作为遵循的标准。依据功能领域对XPDL元模型做改进划分，提取核心的过程模块。 本文的重点内容就在于依托过程模块完成可视化工作流建模工具的开发。分析归纳出程序设计实现的关键环节，逐步完成过程模块实体到活动图节点及有向边的映射，多种视图的协调绑定和对象生成器的自动调用规则。XPDL规范采用XML作为公共交换格式封装具体模型的底层内容，工具通过引入XML文档解析器解决了模型的存储和解析问题。最后系统对辅助模块进行整合与集成，得到一个具有图形表达能力的，包含完整信息的工作流建模工具。 为减少运行时工作流管理系统因模型错误引发的故障，保证模型的质量，我们还替建模工具设立了一整套的验证措施。分别从文件的结构、语法和简单语义等方面对建立好的模型进行检查。通过建模阶段的自检，大大增强了系统的安全性和健壮性，避免了不必要的麻烦。 现代企业的业务变更速度越来越快，对工作流系统的适应性要求也越来越高。为应对不断增长的柔性需求，尝试使用在建模工具和工作流引擎之间建立实时通信的方法弥补XPDL静态建模固有的不足。模型修改的及时反馈有助于整个工作流平台动态特性的改善。