基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
任务结构是工作流建模语言中好的广泛的代表,并且具有表达简洁、终止是隐式的以及与多数工作流管理系统的工作流建模语言相近的特点,但其表达能力和形式化分析有限.本文首先扩展了任务结构的表达能力,增加了对任务间数据流的支持;然后对扩展任务结构的合理性进行了分析和验证.
推荐文章
基于Petri网化简技术的工作流模型合理性验证
Petri网
工作流
合理性
模型化简
基于Petri网的工作流建模合理性验证算法
工作流模型
Petri网
合理性
验证算法
改进的工作流合理性验证方法
工作流
合理性
Petri
逻辑推导
真值表
基于扩展Petri网的工作流建模及应用
扩展Petri网
工作流
验证
建模
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于扩展任务结构的工作流建模及其合理性验证
来源期刊 计算机工程与科学 学科 工学
关键词 工作流建模 扩展任务结构 合理性验证
年,卷(期) 2006,(7) 所属期刊栏目 工作流
研究方向 页码范围 91-94
页数 4页 分类号 TP311
字数 6175字 语种 中文
DOI 10.3969/j.issn.1007-130X.2006.07.029
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 陈卓 湖北工业大学计算机学院 30 126 7.0 9.0
2 邢光林 中南民族大学计算机科学学院 14 41 3.0 5.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (1)
共引文献  (12)
参考文献  (4)
节点文献
引证文献  (1)
同被引文献  (0)
二级引证文献  (0)
1989(1)
  • 参考文献(1)
  • 二级参考文献(0)
1993(1)
  • 参考文献(1)
  • 二级参考文献(0)
1998(1)
  • 参考文献(1)
  • 二级参考文献(0)
2000(1)
  • 参考文献(0)
  • 二级参考文献(1)
2002(1)
  • 参考文献(1)
  • 二级参考文献(0)
2006(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2008(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
工作流建模
扩展任务结构
合理性验证
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
计算机工程与科学
月刊
1007-130X
43-1258/TP
大16开
湖南省长沙市开福区德雅路109号国防科技大学计算机学院
42-153
1973
chi
出版文献量(篇)
8622
总下载数(次)
11
总被引数(次)
59030
  • 期刊分类
  • 期刊(年)
  • 期刊(期)
  • 期刊推荐
论文1v1指导