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

按条件检索“15”条记录

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

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

4. UML活动图到Petri网的转换方法及实现研究 CSCD 北大核心刊 期刊论文 认领

作者:赵俊峰;周建涛;邢冠男

外文作者:Zhao Junfeng;Zhou Jiantao;Xing Guannan

第一作者:赵俊峰

作者机构:[赵俊峰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 中国.;[邢冠男]内蒙古大学计算机学院 更多

来源:计算机科学,2014,Vol.41,Issue.7

基金:国家自然科学基金资助项目; 国家教育部重点资助项目; 内蒙古杰出青年学者科学基金资助项目; 内蒙古自然科学基金资助项目

CSCD被引频次:1

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

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:活动图; Petri网; 转换规则;UML;活动图;Petri网;PNML;转换规则;

摘要:统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合; 运用Petri网和 更多

5. UML时序图向PNML转换的研究与实现 CSCD 北大核心刊 期刊论文 认领

作者:赵俊峰;周建涛

外文作者:Zhao Junfeng;Zhou Jiantao

第一作者:赵俊峰

作者机构:[赵俊峰]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[周建涛]内蒙古大学计算机学院, 呼和浩特, 内蒙古 010021, 内蒙古.;[赵俊峰;周建涛]内蒙古大学 更多

来源:武汉大学学报. 理学版,2011,Vol.57,Issue.6

基金:国家自然科学基金; 国家科技部春晖计划; 内蒙古自然科学基金资助项目

知网综合影响因子:0.761

知网复合影响因子:1.085

关键词:时序图; Petri网; 转换规则;UML;时序图;PNML;Petri网;转换规则;

摘要:对已有行为模型向Petri网的转换机制进行对比分析, 提出改进的UML2时序图到Petri网的转换规则,; 实现了时序图向Petri网标记语言转换的工具. 实验结果表明, 本文 更多

6. 基于Petri网的构件行为适配模型 期刊论文 认领 增刊

作者:刘玉林;周建涛

外文作者:LIU Yu-lin,ZHOU Jian-tao(College of Computer Science,Inner Mongolia University,Hohhot 010021,China)

第一作者:刘玉林

作者机构:[刘玉林;周建涛]内蒙古大学计算机学院

来源:系统仿真学报,2008,Issue.S2

基金:国家自然科学基金(60863015);内蒙古自然科学基金(200711020809,200607010804)

知网综合影响因子:0.513

知网复合影响因子:0.787

关键词:用例;接口;Petri网;兼容;适配模型

摘要:基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署 更多

7. 基于Petri网的移动IPSec快速切换的建模与分析 期刊论文 认领 增刊

作者:王燕;李华;周建涛

外文作者:Wang Yan, Li Hua, and Zhou Jiantao (College of Computer Science, Inner Mongolia University, Huhhot 010021)

第一作者:王燕

作者机构:[王燕;李华;周建涛]内蒙古大学计算机学院

来源:计算机研究与发展,2012,Issue.S2

基金:国家自然科学基金项目(61163011);内蒙古自然科学基金项目(2011MS0912)

知网综合影响因子:1.654

知网复合影响因子:2.491

关键词:移动IPSec;快速切换模型;Petri网;攻击模型;

摘要:使用IPSec对移动网络中的数据进行封装是保证无线网络传输安全的有效方法.这里提出了一种移动IPSec的快速切换模型,该模型通过减少移动节点在链路切换时重建IPSec隧 更多

8. 一种构造Petri网可达图的方法 CSCD 期刊论文 认领

作者:周建涛;叶新铭

外文作者:ZHOU Jian tao, YE Xin ming (NeiMongol University, College of Computer Science, Hohhot,010021,PRC)

第一作者:周建涛

作者机构:[周建涛;叶新铭]内蒙古大学计算机学院

来源:内蒙古大学学报(自然科学版),1999,Vol.30,Issue.3

基金:国家自然科学基金

CSCD被引频次:1

知网综合影响因子:0.302

知网复合影响因子:0.478

关键词:Petri网;可达图;标识;

摘要:Petri网是一种系统设计和分析的工具,为了完成Petri网的各项分析,还需借助如可达树、矩阵方程、可达图等工具.本文将提出可达图的一种构造方法 更多

9. 协同应用流程并行交互的形式化建模研究 学位论文 认领

作者:夏倩倩

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

导师:周建涛

学位名称:硕士

论文提交日期:2012

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

10. 面向语义约束的协同验证研究 学位论文 认领

作者:郝颖

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

导师:周建涛

学位名称:硕士

论文提交日期:2010

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

11. 基于语义约束网合成技术的复杂流程建模研究 学位论文 认领

作者:梁荣

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

导师:周建涛

学位名称:硕士

论文提交日期:2009

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

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

项目负责人:周建涛

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

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

批准号:60863015

申请代码:F020806

立项时间:2009

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

项目负责人:周建涛

依托单位:内蒙古大学

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

批准号:60863015

申请代码:F020806

立项时间:2009

14. 基于Petri网的构件行为适配模型 会议论文 认领

作者:刘玉林;周建涛

作者机构:[刘玉林;周建涛]内蒙古大学计算机学院,呼和浩特 010021

来源:第十二届全国petri网理论与应用学术年会论文集,2009

会议名称:第十二届全国petri网理论与应用学术年会

会议时间:2009

会议地点:天津

关键词:Petri网;适配模型;软件工程

摘要:基于构件的软件工程目标是对已有软件构件的重用。实际上,大部分构件不能直接集成到应用中,因为构成系统的多个构件之间的行为往往是不兼容的。在将可重用构件部署 更多

15. UML活动图到Petri网的转换方法及实现研究 会议论文 认领

作者:赵俊峰;周建涛;邢冠男

作者机构:[赵俊峰;周建涛;邢冠男]内蒙古大学计算机学院,内蒙古呼和浩特 010021

来源:第十四届全国Petri 网理论与应用学术年会论文集,2013

会议名称:第十四届全国Petri 网理论与应用学术年会

会议时间:2013

会议地点:西安

关键词:Petri网;统一建模语言活动图;转换规则

摘要:统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能 更多

更新时间:Mar 28, 2019
TOP