您的位置： 专家智库 > >

内蒙古自治区自然科学基金(2011MS0911)

作品数：2 被引量：14H指数：2
相关作者：赵俊峰周建涛邢冠男更多>>
相关机构：内蒙古大学更多>>
发文基金：内蒙古自治区自然科学基金国家自然科学基金教育部科学技术研究重点项目更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 2篇中文期刊文章

领域

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

主题

  • 2篇PNML
  • 2篇UML
  • 2篇PETRI网
  • 1篇时序图
  • 1篇活动图
  • 1篇UML活动图
  • 1篇L转换

机构

  • 2篇内蒙古大学

作者

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

传媒

  • 1篇武汉大学学报...
  • 1篇计算机科学

年份

  • 1篇2014
  • 1篇2011
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
UML时序图向PNML转换的研究与实现被引量：4
2011年
对已有行为模型向Petri网的转换机制进行对比分析,提出改进的UML2时序图到Petri网的转换规则,实现了时序图向Petri网标记语言转换的工具.实验结果表明,本文提出的工具能有效地将时序图转化为Petri网模型并生成相应PNML文件,进而更好地对UML模型进行分析和验证.
赵俊峰周建涛
关键词：UML时序图PNMLPETRI网
UML活动图到Petri网的转换方法及实现研究被引量：11
2014年
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter。此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证。
赵俊峰周建涛邢冠男
关键词：UML活动图PETRI网PNML
全选 清除 导出
共1页<1>
聚类工具0