基于Petri网的UML形式化建模应用分析

• 作者: 李龙澍 胡正梁
• 来源期刊: 计算机技术与发展
• 学科: 工学
• 关键词: 眦形式化 状态图 序列图 Petri网
• 年，卷（期）: 2010,（4）
• 所属期刊栏目: 智能、算法、系统工程
• 页码范围: 76-79,83
• 页数: 5页
• 分类号: TP31
• 字数: 3210字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-629X.2010.04.020

摘要

UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	李龙澍	安徽大学计算机科学与技术学院	199	1780	21.0	29.0
5	胡正梁	安徽大学计算机科学与技术学院	1	12	1.0	1.0