工作流模型时间有界性验证与分析研究

摘要：

对工作流模型分析进行了层次划分后,提出了工作流模型时间有界性的问题.从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后,利用绝大多数描述业务过程的工作流模型都具有自由选择特性的特点,提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法.在此基础上,结合工作流模型的资源视图,详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法.

关键词：工作流模型、时间有界性、工作流网、模型分解

所属期刊栏目：8

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

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

页数：共6页

页码：770-775