| 基于Petri网的UML形式化建模应用分析 |
| |
| 引用本文： | 李龙澍,胡正梁.基于Petri网的UML形式化建模应用分析[J].计算机技术与发展,2010,20(4):76-79,83. |
| |
| 作者姓名： | 李龙澍 胡正梁 |
| |
| 作者单位： | 安徽大学,计算机科学与技术学院,安徽,合肥,230039;安徽大学,计算智能与信号处理教育部重点实验室,安徽,合肥,230039 |
| |
| 基金项目： | 国家自然科学基金项目，安徽省自然科学基金项目，安徽省自然科学基金项目，安徽省高校拔尖人才基金项目 |
| |
| 摘 要： | UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.
|
| 关 键 词： | 眦形式化 状态图 序列图 Petri网 |
Application Analysis and Formal Modeling of UML Based on Petri Net |
| |
| LI Long-shu,HU Zheng-liang.Application Analysis and Formal Modeling of UML Based on Petri Net[J].Computer Technology and Development,2010,20(4):76-79,83. |
| |
| Authors: | LI Long-shu HU Zheng-liang |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 维普 万方数据 等数据库收录！ |
|
