基于语义约束的资源工作流并发正确性保证

摘要：

控制流结构中并发变迁的正确性是工作流模型正确性的基础.为保证模型的正确性,提出了资源语义约束工作流网的基本概念,丰富了控制流的数据语义,给出了两方面的控制流并发正确性:并发控制流与其数据语义的一致性检测算法及改正原则,保证了模型中的并发控制流结构的正确性;实例中基于数据语义约束的并发变迁正确性保证机制,提出了申请锁和释放锁的算法,保证了工作流实例中并发执行的正确性.

关键词：工作流、控制流、数据语义、数据语义约束、正确性

所属期刊栏目：40

分类号：TP393.01(计算技术、计算机技术)

资助基金：国家自然科学基金60173028

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：712-719