您的位置： 专家智库 > >

邢冠男

作品数：3 被引量：11H指数：2
供职机构：内蒙古大学计算机学院更多>>
发文基金：内蒙古自治区自然科学基金教育部科学技术研究重点项目国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇期刊文章
  • 1篇学位论文
  • 1篇会议论文

领域

  • 3篇自动化与计算...

主题

  • 3篇活动图
  • 3篇UML活动图
  • 2篇PETRI网
  • 1篇PNML
  • 1篇UML
  • 1篇XML技术
  • 1篇L转换

机构

  • 3篇内蒙古大学

作者

  • 3篇邢冠男
  • 2篇周建涛
  • 2篇赵俊峰

传媒

  • 1篇计算机科学
  • 1篇第十四届全国...

年份

  • 1篇2014
  • 1篇2013
  • 1篇2009
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
UML活动图到Petri网的转换方法及实现研究
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性.研...
赵俊峰周建涛邢冠男
关键词：PETRI网
文献传递
UML活动图到Petri网的转换方法及实现研究被引量：9
2014年
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。
赵俊峰周建涛邢冠男
关键词：UML活动图PETRI网PNML
UML活动图到PNML转换的研究与实现
众所周知，UML是半形式化的。Petri网虽然是形式化的工具但本身又有不便于应用的缺点。所以论文的目的是把UML活动图模型转换为PNML，以便能够用Petri网分析工具来分析UML所描述的系统的正确性。为了达到这个目的，...
邢冠男
关键词：UML活动图XML技术
文献传递
全选 清除 导出
共1页<1>
聚类工具0