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

按条件检索“11”条记录

已选条件:
导出
  • 排序
  • 显示
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. Translation rules and a supporting tool for model-based reuse SCOPUS EI 期刊论文 会议论文 认领

作者:Zhao J.;Zhou J.;Liu J.

作者全称:Zhao, Junfeng;Zhou, Jiantao;Liu, Jing

作者机构:[Zhao, Junfeng ;Zhou, Jiantao ;Liu, Jing ] College of Computer Science, Inner Mongolia University, Hohhot, China

第一作者:Zhao, Junfeng

通讯作者:Zhao, J.(cszjf@imu.edu.cn)

通讯作者地址:Zhao, J.; College of Computer Science, Inner Mongolia University, Hohhot, China; 电子邮件: cszjf@imu.edu.cn

来源:Proceedings - International Computer Software and Applications Conference,2012

基金:IEEE;IEEE Computer Society

摘要:The Model-Driven Architecture approach defines system functionality using a platform-independent model (PIM). The PIM is translated to one or more pla 更多

4. Analyzing and verifying Petri net model of security protocol based on Maria SCOPUS EI 期刊论文 会议论文 认领

作者:Wang Y.;Zhou J.;Li H.;Hao Y.

作者全称:Wang, Yan;Zhou, Jiantao;Li, Hua;Hao, Ying

作者机构:[Wang, Yan ;Zhou, Jiantao ;Li, Hua ;Hao, Ying ] College of Computer Science, Inner Mongolia University, Huhhot 010021, Inner Mongolia, China;[Wang, Ya 更多

第一作者:Wang, Yan

通讯作者:Wang, Y.(cswy@imu.edu.cn)

通讯作者地址:Wang, Y.; College of Computer Science, Inner Mongolia University, Huhhot 010021, Inner Mongolia, China; 电子邮件: cswy@imu.edu.cn

来源:ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings,2010,Vol.2

基金:Shanxi University;Taiyuan University of Technology;Taiyuan University of Science and Technology;Shanxi Normal University

摘要:Formal specification and analysis of security protocol is a research hotspot in network security at present. This paper models authentication service 更多

5. A flexible control strategy on workflow modeling and enacting CPCI-S 会议论文 认领

作者:Zhou, JT;Ye, XM

作者全称:Zhou, JT;Ye, XM

作者机构:[Zhou, JT; Ye, XM]Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia, Peoples R China.

第一作者:Zhou, JT

通讯作者:Zhou, JT

通讯作者地址:Zhou, JT (reprint author), Inner Mongolia Univ, Coll Comp Sci, Inner Mongolia, Peoples R China.

会议名称:8th International Conference on Advanced Communication Technology

会议日期:FEB 20-22, 2006

来源:8th International Conference on Advanced Communication Technology, Vols/ 1-3: TOWARD THE ERA OF UBIQUITOUS NETWORKS AND SOCIETIES,2006

关键词:workflow; dynamic change; flexibility; shell; Petri net

摘要:Flexibility stemming from various dynamic changes has become one of the major research topics in the area of today's workflow management. This paper f 更多

6. 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网

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

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

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

8. 一种基于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网;化简

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

9. 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网和 更多

10. 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网标记语言转换的工具. 实验结果表明, 本文 更多

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

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

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

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

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

会议时间:2013

会议地点:西安

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

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

更新时间:Mar 28, 2019
TOP