Modeling and Verification of Workflow Based on Resource Constraint

doi:10.3969/j.issn.0372-2112.2012.08.001

您当前的位置：

首页 >

文章列表页 >

Modeling and Verification of Workflow Based on Resource Constraint

更新时间：2025-07-08

- Modeling and Verification of Workflow Based on Resource Constraint
- Acta Electronica Sinica Vol. 40, Issue 8, Pages: 1497-1502(2012)
- 作者机构：
  
  1. 清华大学计算机科学系,北京,100084
  2. 山东科技大学信息科学与工程学院,山东,青岛,266590
- 作者简介：
- 基金信息：
  
  National Program on Key Basic Research Project of China (973 Program) (No.2010CB328105);National Natural Science Foundation of China (No.60970001, No.91018007, No.61170183);Scientific Research Award Fund for Outstanding Young and Middle-aged Scientists of Shandong Province (No.BS2011SW025, No.BS2011DX027)
- DOI：10.3969/j.issn.0372-2112.2012.08.001
  CLC： TP311
- Published：2012
- 稿件说明：
移动端阅览
Modeling and Verification of Workflow Based on Resource Constraint[J]. Acta Electronica Sinica, 2012, 40(8): 1497-1502.
DOI：

Modeling and Verification of Workflow Based on Resource Constraint[J]. Acta Electronica Sinica, 2012, 40(8): 1497-1502. DOI： 10.3969/j.issn.0372-2112.2012.08.001.

摘要

资源约束是工作流正确实施的一个瓶颈问题

因此工作流系统的资源建模及模型正确性验证方法显得非常重要.为此

基于Petri网和工作流建模方法

提出了一种资源约束的工作流系统的形式化建模和分析技术

定义了资源空间(RS)、资源子网、资源工作流网和资源工作流网完整性(soundness)的概念

建立了资源调用视图以及Petri网影射模型

得到了资源工作流网保持完整性判定的一个充要条件.该方法将系统资源建模和过程建模合成到一个模型中

解决了工作流系统资源和过程分别建模给系统的正确性验证带来的困难

为工作流系统资源状态的可视化和进行有效的系统验证提供了模型依据.给出的实例验证了模型的有效性.

Abstract

Resource constraint is a choke point of workflow system

and the efficient resource modeling and Verification methods are more important for workflow management system(WFMS).A new formal method used to model and analyze workflow system with resource constraint

resource workflow net

is presented based on Petri net and workflow techniques in this paper.Based on the definition of resource space(RS)

resource subnet

resource workflow net(RWF-net)

and soundness of the RWF-net

the resource scheduling views model formulated in WFMS are described and translated into Petri net

and a necessary and sufficient condition for the soundness of RWF-net is presented.The method integrate process model and resource model that can solve system analysis and verification problem for the process and resource modeled respectively and assure the consistency between process model and resource model. The usability of the research results in this paper is illustrated by an example.

关键词

Keywords

references

Views

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

A Process Discovery Algorithm Based on Case Clusters and Synchronization Cores

Soundness Analysis of the Multi-cases Workflow Model Based on Home State

A Multi-Objective Optimization Mapping Algorithm for Coarse Grained Reconfigurable Architectures

Related Author

LU Fa-ming

ZENG Qing-tian

DUAN Hua

LIU Cong

PANG Shan-chen

YAN Chun-gang

JIANG Chang-jun

CHEN Nai-jin

Related Institution

State Key Laboratory of Mining Disaster Prevention and Control Co-founded by Shandong Province and the Ministry of Science and Technology, Shandong University of Science and Technology

Shandong University of Science and Technology

The Key Laboratory of Embedded System and Service Computing, Ministry of Education, Tongji University

State Key Laboratory of Mining Disaster Prevention and Control Co-founded by Shandong Province and the Ministry of Science and Technology Shandong University of Science and Technology Qingdao Shandong China

Shandong University of Science and Technology Qingdao Shandong China

⁰