业务流程管理系统是传统工作流技术与企业管理相融合的产物,它通过互联网实现信息传递、数据同步、业务监控和业务流程的优化。目前,业务流程管理系统大多采用集中式架构,系统所有功能模块集中部署在单个服务器上。因此,对服务器硬件性能要求较高,同时存在稳定性与可扩展性差等问题。云计算作为一种商业计算模式,将任务分布在大量计算机构成的资源池上,使用户能够按需获取计算力、存储空间和信息服务。通过云计算的服务模式能够为BPM (Business Process Management,业务流程管理)提供强大的硬件支持,在提高计算能力的同时根据负载灵活扩展,因此具有重要的现实意义。本文在云计算业务流程引擎、云计算文件系统和云计算数据库相关技术基础上,提出了基于云计算平台的业务流程管理系统的体系结构,通过该结构将云计算的分布式特性应用于业务流程管理系统中,使后者具有可灵活扩展的计算能力和安全可靠的存储服务。为了确保业务流程建模的正确性,文中给出了一种基于线性时序逻辑的业务流程验证方法,该方法使用模型检测技术对业务流程模型的性质进行验证,能够发现设计中的潜在错误。其次,文章详细说明了基于Jini技术业务流程引擎的实现,以及Hadoop平台下HDFS (Hadoop Distributed File System, Hadoop分布式文件系统)和HBase (Hadoop Database, Hadoop分布式数据库)在BPM系统中的应用。在上述理论指导下,设计、实现了一个基于云计算平台的业务流程管理系统,并通过一个实例介绍了系统原型的应用。本文讨论的方法可以将云计算与BPM进行无缝融合,使得BPM系统性能稳定,且具有较高的可靠性、可扩展性以及良好的交互界面。