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

摘要：

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

关键词：眦形式化、状态图、序列图、Petri网

所属期刊栏目：20

分类号：TP31(计算技术、计算机技术)

资助基金：国家自然科学基金项目60273043;安徽省自然科学基金项目050420204;安徽省自然科学基金项目2006KJ098B;安徽省高校拔尖人才基金项目05025102

在线出版日期：2010-05-26（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：76-79,83