云南高校图书馆联盟文献共享服务平台- 邢冠男

邢冠男: 作品数：1被引量：11H指数：1; 导出分析报告; 供职机构：内蒙古大学计算机学院更多>>; 发文主题：UML活动图PETRI网UMLPNML活动图更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机科学》更多>>; 所获基金：内蒙古自治区自然科学基金教育部科学技术研究重点项目国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

UML活动图到Petri网的转换方法及实现研究被引量：11: 《计算机科学》2014年第7期143-147,共5页赵俊峰周建涛邢冠男; 国家自然科学基金资助项目(61262082);国家教育部重点资助项目(212025);内蒙古杰出青年学者科学基金资助项目(2012JQ03);内蒙古自然科学基金资助项目(2011MS0911)资助; 统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证。而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法。综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性。研究了UML活动图向...; 关键词：UML 活动图 PETRI网 PNML 转换规则