时间约束层次细化工作流建模及验证研究

摘要：

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法.首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求.为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件.依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题.

关键词：工作流验证、层次细化工作流网、时间约束Petri网

所属期刊栏目：12

分类号：TP391.9(计算技术、计算机技术)

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

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

页数：共7页

页码：1773-1778,1806