| 基于资源和时间限制的多工作流网及可调度性验证 |
| |
| 引用本文： | 宋巍,窦万春.基于资源和时间限制的多工作流网及可调度性验证[J].计算机应用与软件,2007,24(7):5-8,11. |
| |
| 作者姓名： | 宋巍 窦万春 |
| |
| 作者单位： | 南京大学计算机软件新技术国家重点实验室,江苏,南京,210093 |
| |
| 基金项目： | 国家自然科学基金
,
江苏省应用基础研究计划项目 |
| |
| 摘 要： | 工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.
|
| 关 键 词： | 多工作流网 可调度性验证 资源限制 时间限制 基于资源 时间限制 多工作流 流网 可调度性 验证算法 CONSTRAINT TEMPORAL RESOURCE BASED VERIFICATION SCHEDULABILITY 方案 冲突解决 资源冲突 网下 原型 框架 统一 三个层面 |
| 修稿时间： | 2005-07-21 |
MULTIPLE WORKFLOW-NET AND ITS SCHEDULABILITY VERIFICATION BASED ON RESOURCE AND TEMPORAL CONSTRAINT |
| |
| Song Wei,Dou Wanchun.MULTIPLE WORKFLOW-NET AND ITS SCHEDULABILITY VERIFICATION BASED ON RESOURCE AND TEMPORAL CONSTRAINT[J].Computer Applications and Software,2007,24(7):5-8,11. |
| |
| Authors: | Song Wei Dou Wanchun |
| |
| Affiliation: | State Key Laboratory for Novel Software Technology,Nanjing University,Nanjing 210093 ,Jiangsu,China |
| |
| Abstract: | It is of great importance to do verification work at modeling time before the workflow runs.The workflow system is anatomized from the resource and temporal perspective.Considering multiple workflows execute concurrently in a workflow system,a generic framework which synthesizes constructral,temporal and resource constraints is proposed to steer the work of the workflow modeling and workflow verification.The definition of the multiple WF-net is presented on the basis of the generic framework,and the definition of resource conflict and schedulability are given based on multiple WF-net.The algorithm of schedulability verification and the methods to solve the resource confilct are given,which can be easily used in practice. |
| |
| Keywords: | Multiple WF-net Schedulability verification Resource constraint Temporal constraint |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
