基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
工作流建模阶段的验证工作对工作流的成功执行具有重要意义.首先分析了与工作流执行密切相关的资源和时间特性,考虑到工作流应用系统中总是有若干工作流并发执行,于是综合考虑结构、时间、资源限制三个层面,提出一个工作流应用系统一般性限制框架.基于该框架提出了多工作流网原型,并进一步给出了多工作流网下资源冲突和可调度性的概念,最后给出了多工作流网可调度性验证算法及其冲突解决方案.
推荐文章
基于Petri网的工作流时间动态预测及验证
时间Petri网
工作流
动态验证
截止期限
预测
基于CTMC的工作流网过程定义性能分析
工作流网
CTMC
性能分析
Petri网
着色时间工作流网任务调度的时间约束分析
工作流管理
着色时间工作流网
任务调度
时间约束
溢出
基于网格工作流的决策资源协同调度模型
网格工作流
决策资源
协同调度
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于资源和时间限制的多工作流网及可调度性验证
来源期刊 计算机应用与软件 学科 工学
关键词 多工作流网 可调度性验证 资源限制 时间限制
年,卷(期) 2007,(7) 所属期刊栏目 基金项目论文
研究方向 页码范围 5-8,11
页数 5页 分类号 TP3
字数 6703字 语种 中文
DOI 10.3969/j.issn.1000-386X.2007.07.003
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 窦万春 南京大学计算机软件新技术国家重点实验室 30 467 12.0 21.0
2 宋巍 南京大学计算机软件新技术国家重点实验室 4 61 3.0 4.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (7)
节点文献
引证文献  (5)
同被引文献  (12)
二级引证文献  (0)
1991(1)
  • 参考文献(1)
  • 二级参考文献(0)
1995(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(1)
  • 参考文献(1)
  • 二级参考文献(0)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2003(1)
  • 参考文献(1)
  • 二级参考文献(0)
2004(2)
  • 参考文献(2)
  • 二级参考文献(0)
2007(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
2009(1)
  • 引证文献(1)
  • 二级引证文献(0)
2011(1)
  • 引证文献(1)
  • 二级引证文献(0)
2016(1)
  • 引证文献(1)
  • 二级引证文献(0)
2018(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
多工作流网
可调度性验证
资源限制
时间限制
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机应用与软件
月刊
1000-386X
31-1260/TP
大16开
上海市愚园路546号
4-379
1984
chi
出版文献量(篇)
16532
总下载数(次)
47
总被引数(次)
101489
相关基金
国家自然科学基金
英文译名:the National Natural Science Foundation of China
官方网址:http://www.nsfc.gov.cn/
项目类型:青年科学基金项目(面上项目)
学科类型:数理科学
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导