• 个人主页: 点击访问
  • 所属院系:计算机学院(软件学院)
年份: ~

按条件检索“7”条记录

已选条件:
导出
  • 排序
  • 显示
1. Method for semantic verification of workflow processes based on Petri net reduction technique EI SCOPUS 期刊论文 认领

作者:Zhou J.-T.;Shi M.-L.;Ye X.-M.

作者全称:Zhou, Jian-Tao;Shi, Mei-Lin;Ye, Xin-Ming

作者机构:[Zhou, Jian-Tao ;Shi, Mei-Lin ] Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China;[Zhou, Jian-Tao ;Ye, Xin-Min 更多

第一作者:Zhou, Jian-Tao

通讯作者:Zhou, J.-T.(zjtao@csnet4.cs.tsinghua.edu.cn)

通讯作者地址:Zhou, J.-T.; Department of Computer Science and Technology, Tsinghua University, Beijing 100084, China; 电子邮件: zjtao@csnet4.cs.tsinghua.edu.cn

来源:Ruan Jian Xue Bao/Journal of Software,2005,Vol.16,Issue.7

SCOPUS被引频次:15

教育部学科:控制科学与工程,计算机科学与技术,软件工程

摘要:Verification is meaningful for ensuring the correctness of workflow process definition. This paper focuses on semantic verification method, solving th 更多

2. CBR: A component-based reduction method for semantics verification of workflow processes EI SCOPUS 期刊论文 认领

作者:Zhou J.-T.;Shi M.-L.;Ye X.-M.

作者全称:Zhou, Jian-Tao;Shi, Mei-Lin;Ye, Xin-Ming

作者机构:[Zhou, Jian-Tao ;Shi, Mei-Lin ] Department of Computer Science, Tsinghua University, Beijing 100084, China;[Zhou, Jian-Tao ;Ye, Xin-Ming ] College of 更多

第一作者:Zhou, Jian-Tao

通讯作者:Zhou, J.-T.(cszjtao@mail.imu.edu.cn)

通讯作者地址:Zhou, J.-T.; Department of Computer Science, Tsinghua University, Beijing 100084, China; 电子邮件: cszjtao@mail.imu.edu.cn

来源:Tien Tzu Hsueh Pao/Acta Electronica Sinica,2005,Vol.33,Issue.6

摘要:Verification methods of workflow processes always focus on the control flow, while only a few developments have been done on the verification combinin 更多

3. A Quantitative Characterization of Cross Coverage SCIE SCOPUS 期刊论文 认领

作者:Zhou, JT;Lan, CH;Hung, WNN;Guo, XR;Song, XY

作者全称:Zhou, Jiantao;Lan, Caihe;Hung, William N. N.;Guo, Xinrui;Song, Xiaoyu

作者机构:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R C 更多

第一署名单位:[Zhou, Jiantao; Lan, Caihe] Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

第一作者:Zhou, Jiantao

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia Engn Lab Cloud Comp & Serv Softwar, Hohhot, Inner Mongolia, Peoples R China.

来源:IEEE TRANSACTIONS ON COMPUTERS,2015,Vol.64,Issue.8

基金:National Natural Science Foundation of China [61262082, 61262017]; Key; Project of Chinese Ministry of Education [212025]; Inner Mongolia; Science Foundation for Distinguished Young Scholars [2012JQ03]

JCR分区:COMPUTER SCIENCE, HARDWARE & ARCHITECTURE为Q1;ENGINEERING, ELECTRICAL & ELECTRONIC为Q1

中科院分区:大类工程技术3区;小类计算机:硬件2区;小类工程:电子与电气3区

(JCR)当年影响因子:3.052

(JCR)5年影响因子:2.979

ESI学科:COMPUTER SCIENCE

教育部学科:控制科学与工程,软件工程,计算机科学与技术;电子科学与技术,软件工程

关键词:Coverage model; probabilistic analysis

摘要:Effective verification methods are necessary for finding bugs in complex system design. Given domain specific knowledge, design verification engineers 更多

4. CBR:一种支持工作流过程语义验证的组件级化简方法 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;ZHOU Jian-tao[1];SHI Mei-Lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,内蒙古呼和浩特;[叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特;[史美林]清华大学计算机 更多

来源:电子学报,2005,Vol.33,Issue.6

基金:国家自然科学基金; 国家高技术研究发展863计划项目;国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:2

知网综合影响因子:1.115

知网复合影响因子:1.520

关键词:工作流;验证;化简;组件;Petri网

摘要:目前的工作流过程验证方法多数侧重控制流特性验证,与数据或资源信息相结合的验证尚未得到很好发展.然而,业务过程的日标实现依赖于控制流、数据流和资源三维基 更多

5. 工作流过程建模中的形式化验证技术 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;Zhou Jiantao[1];Shi Meilin[2];Ye Xinming[3]

第一作者:周建涛

作者机构:[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,呼和浩特10021;[叶新铭]内蒙古大学计算机学院,呼和浩特;[史美林]清华大学计算机科学与 更多

来源:计算机研究与发展,2005,Vol.42,Issue.1

基金:国家自然科学基金项目; 国家"八六三"高技术研究发展计划基金项目;国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:13

知网综合影响因子:1.654

知网复合影响因子:2.491

关键词:工作流;过程建模;验证;Petri网;合理性;化简

摘要:工作流过程建模是一个复杂且易错的过程.若过程定义在投入运行之后被发现有错,则修复错误的代价相当高,这个问题引起了研究界和工业界的高度重视.因此,在建模 更多

6. 柔性工作流技术研究的现状与趋势 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:ZHOU Jiantao;SHI Meilin;YE Xinming;ZHOU Jian-tao[1];SHI Mei-lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[周建涛;史美林]清华大学计算机科学与技术系,北京;[周建涛;叶新铭]内蒙古大学计算机学院,内蒙古呼和浩特;[周建涛]清华大学,计算机科学与技术系,北京,100084;内蒙 更多

来源:计算机集成制造系统,2005,Vol.11,Issue.11

基金:国家自然科学基金资助项目(60073011);国家863/CIMS主题资助项目(2001AAll3150).;中国科学院资助项目,新材料领域项目

CSCD被引频次:13

教育部学科:软件工程,控制科学与工程,计算机科学与技术,机械工程,轻工技术与工程,冶金工程,系统科学

知网综合影响因子:0.993

知网复合影响因子:1.692

关键词:工作流;灵活性;动态性;自适应性;变更;异常

摘要:工作流变更和异常是柔性研究的重要内容,界定了这两个概念,并从不同的角度,分别对系统的灵活性、动态性和自适应性等进行了研究.从理论和实现两个层次上深入探讨了 更多

7. 一种基于Petri网化简的工作流过程语义验证方法 CSCD 期刊论文 认领

作者:周建涛;史美林;叶新铭

外文作者:Zhou Jiantao;Shi Meilin;Ye Xinming;ZHOU Jian-tao[1];SHI Mei-Lin[2];YE Xin-ming[3]

第一作者:周建涛

作者机构:[史美林]清华大学计算机科学与技术系,北京;[周建涛]清华大学计算机科学与技术系,北京100084//内蒙古大学计算机学院,内蒙古呼和浩特;[叶新铭]内蒙古大学计算机学 更多

来源:软件学报,2005,Vol.16,Issue.7

基金:国家自然科学基金; 国家高技术研究发展计划(863);国家自然科学基金,国家高技术研究发展计划(863计划)

CSCD被引频次:18

教育部学科:控制科学与工程,计算机科学与技术,软件工程

知网综合影响因子:2.658

知网复合影响因子:4.259

关键词:工作流;过程;语义验证;Petri网;化简

摘要:过程验证是保证工作流过程定义正确性的重要手段.针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法.首先根据语义 更多

更新时间:Mar 28, 2019
TOP