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

被引：8

作者：

李龙澍 ^{[1
,2
]}

胡正梁 ^{[1
,2
]}

机构：

[1] 安徽大学计算机科学与技术学院

[2] 安徽大学计算智能与信号处理教育部重点实验室

来源：

计算机技术与发展 | 2010年 / 20卷 / 04期

基金：

安徽省自然科学基金;

关键词：

UML形式化; 状态图; 序列图; Petri网;

D O I：

暂无

中图分类号：

TP311.52 [];

学科分类号：

081202 ; 0835 ;

摘要：

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

引用

页码：76 / 79+83 +83

页数：5

共 5 条

[1] 基于UML的CPN模型在软件测试中的应用 [J].