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

Application Analysis and Formal Modeling of UML Based on Petri Net

作　　者：李龙澍[1,2] 胡正梁[1,2] 

机构地区：[1]安徽大学计算机科学与技术学院,安徽合肥230039 [2]安徽大学计算智能与信号处理教育部重点实验室,安徽合肥230039

出　　处：《计算机技术与发展》2010年第4期76-79,83,共5页Computer Technology and Development

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

摘　　要：UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点。Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能。结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析。排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的。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 foundation, with a number of sophisticated methods of analysis can be directly used to analyze the performance of the model. Combined with an application of picture compilation, use the UML state diagram and sequence diagram for formal analysis, with the method of Petri net- based modeling. Ruled out defects in UML models, errors were found in the software design stage, reducing software development spending, and ultimately achieving improved software quality purposes.

关 键 词：UML形式化 状态图 序列图 PETRI网 

分 类 号：TP31[自动化与计算机技术—计算机软件与理论]