«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

期数:

2010年04期

页码:

76-79

栏目:

智能、算法、系统工程

出版日期:

1900-01-01

文章信息/Info

Title:

Application Analysis and Formal Modeling of UML Based on Petri Net

文章编号:

1673-629X（2010）04-0076-04

作者:

李龙澍¹; 2 胡正梁¹; 2

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

Author(s):

LI Long-shu¹; 2;  HU Zheng-liang¹; 2

[1]School of Computer Science and Technology, Anhui University[2]Ministry of Education Key Lab of IC ＆ SP at Anhui University

关键词:

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

Keywords:

UML formalization; statechart diagram;  sequence diagram; petri net

分类号:

TP31

文献标志码:

A

摘要:

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

Abstract:

UML is a powerful graphical modeling language but there is a lack of precise semantics to describe the characteristics, so the formal study of UML has been a hot topic. Petri net both an intuitive graphical representation, has a solid mathematical foundat

备注/Memo

备注/Memo:

国家自然科学基金项目（60273043）;安徽省自然科学基金项目（050420204）;安徽省自然科学基金项目（2006KJ098B）;安徽省高校拔尖人才基金项目（05025102）李龙澍（1965-），男，安徽毫州人，教授,博士生导师，研究方向为智能软件、知识工程。

常用功能

更新日期/Last Update: 1900-01-01