基于SaaS的XPDL工作流验证服务实现,张茜茜,,流程子模型是工作流模型的核心,在流程部署前验证流程子模型能够降低运行时期停机和恢复所带来的开销。本文提出的验证算法关注于