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

按条件检索“6”条记录

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

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

3. WF-net模型到PNML的转换方法研究与实现 CSCD 期刊论文 认领

作者:周建涛;海晓军

外文作者:Zhou Jiantao;Hai Xiaojun

第一作者:周建涛

作者机构:[周建涛;海晓军]内蒙古大学计算机学院,呼和浩特

来源:计算机科学,2010,Vol.37,Issue.12

基金:国家自然科学基金(60863015); 国家科技部春晖计划项目(Z2007-1-01042); 内蒙古自然科学基金项目(20080404ZD20)资助;国家自然科学基金,国家科技部春晖计划项目,内蒙古自然科学基金项目

CSCD被引频次:1

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

知网综合影响因子:0.669

知网复合影响因子:1.087

关键词:元模型;WF-net;PNML;转换规则

摘要:Petri网标记语言PNML是一种基于XML的支持不同Petri网工具之间文件交换的标准格式,对于解决不同Petri网变种之间的互操作性问题具有重要意义。工作流网WF-net是用于 更多

4. UML活动图到PNML转换的研究与实现 学位论文 认领

作者:邢冠男

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

导师:周建涛

学位名称:硕士

论文提交日期:2009

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

5. WF-net模型到PNML的转换方法研究与实现 学位论文 认领

作者:海晓军

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

导师:周建涛

学位名称:硕士

论文提交日期:2009

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

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

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

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

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

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

会议时间:2013

会议地点:西安

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

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

更新时间:Mar 28, 2019
TOP