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

按条件检索“6”条记录

已选条件:
导出
  • 排序
  • 显示
1. 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网

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

2. 工作流过程建模中的形式化验证技术 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网;合理性;化简

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

3. 与测试相结合的系统安全性验证技术研究 学位论文 认领

作者:钟国栋

学位授予单位:内蒙古大学

导师:周建涛

学位名称:硕士

论文提交日期:2010

学位论文类别:硕士学位论文

4. 面向语义约束的协同过程形式化建模与验证的研究 基金 认领

项目负责人:周建涛

依托单位:[周建涛]内蒙古大学

项目类别:地区科学基金项目

批准号:60863015

申请代码:F020806

立项时间:2009

5. 面向语义约束的协同过程形式化建模与验证的研究 基金 认领

项目负责人:周建涛

依托单位:内蒙古大学

项目类别:地区科学基金项目

批准号:60863015

申请代码:F020806

立项时间:2009

6. 网络系统的形式化测试和验证方法的研究 科技成果 疑似

成果完成人:叶新铭;周建涛;李华

第一完成单位:[叶新铭;周建涛;李华]内蒙古大学

成果类别:应用技术

成果水平:国际先进

年份:2006

更新时间:Mar 28, 2019
TOP