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

按条件检索“3”条记录

已选条件:
导出
  • 排序
  • 显示
1. 一种基于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网;化简

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

2. 基于组件级化简的语义验证方法在电子商务过程中的应用 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:Zhaou Jiantao;Ye Xinming;ZHOU Jian-tao;YE Xin-ming

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[叶新铭]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛;叶新铭]内蒙古大学计算 更多

来源:内蒙古大学学报. 自然科学版,2006,Vol.37,Issue.2

基金:国家自然科学基金项目; 内蒙古自然科学基金项目;中国科学院资助项目,蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:工作流过程; 语义验证; 组件; 化简; 电子商务

摘要:工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性.文章描述了在一个实; 际 更多

3. 工作流过程的语义验证方法应用 CSCD 期刊论文 认领

作者:周建涛;唐旭文

外文作者:ZHOU Jiantao;TANG Xuwen;ZHOU Jian-tao[1];TANG Xu-wen[2]

第一作者:周建涛

作者机构:[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[唐旭文]内蒙古移动通信公司, 呼和浩特, 内蒙古 010020, 中国.;[周建涛]内蒙古大学计算机学院,呼 更多

来源:内蒙古大学学报. 自然科学版,2006,Vol.37,Issue.3

基金:国家自然科学基金项目; 内蒙古自然科学基金项目;中国科学院资助项目,蒙古自然科学基金

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:工作流过程; 语义验证; 三维工作流网; 化简; 电子商务

摘要:工作流过程建模是一个复杂且易错的过程,在建模阶段进行有效的过程验证是十分必要的.描述了在一个实际的工作流系统中,如何使用过程建模工具实现一个电子; 商 更多

更新时间:Mar 28, 2019
TOP