基于SaaS的XPDL工作流验证服务实现
he Implementation of XPDL Workflow Verification Service based on SaaS
流程子模型是工作流模型的核心，在流程部署前验证流程子模型能够降低运行时期停机和恢复所带来的开销。本文提出的验证算法关注于流程子模型的结构错误，这些算法的实现依赖于扩展Petri Net的性质。同时本文阐述了基于SaaS的流程验证器的实现方法并且着重阐述了如何将XPDL流程定义转换映射为扩展Petri Net模型的算法。
he process sub-model is the core of workflow model, verifying process sub-model before deployment can reduce the cost of shutdown, inspection and repair at run-time. This paper proposes verification algorithms, which focus on structural errors of process sub-model, and those algorithms will use the characteristics of the extended Petri net discussed in this paper. Simultaneously, this paper explains how to design a XPDL Validator based on SaaS and it emphasis on mapping XPDL process definition to extended Petri net.
张茜茜
计算技术、计算机技术自动化技术、自动化技术设备
XPDL验证算法扩展Petri net映射算法
XPDLVerification algorithmextended Petri netMapping algorithm
张茜茜.基于SaaS的XPDL工作流验证服务实现[EB/OL].(2010-05-31)[2025-08-11].http://www.paper.edu.cn/releasepaper/content/201005-767.点此复制
评论