云南高校图书馆联盟文献共享服务平台- 胡正梁

胡正梁: 作品数：1被引量：8H指数：1; 导出分析报告; 供职机构：安徽大学更多>>; 发文主题：UML形式化建模PETRI网序列图状态图更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机技术与发展》更多>>; 所获基金：国家自然科学基金安徽省自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于Petri网的UML形式化建模应用分析被引量：8: 《计算机技术与发展》2010年第4期76-79,83,共5页李龙澍胡正梁; 国家自然科学基金项目(60273043);安徽省自然科学基金项目(050420204);安徽省自然科学基金项目(2006KJ098B);安徽省高校拔尖人才基金项目(05025102); UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使...; 关键词：UML形式化状态图序列图 PETRI网