摘要
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.
出处
《计算机技术与发展》
2010年第4期76-79,83,共5页
Computer Technology and Development
基金
国家自然科学基金项目(60273043)
安徽省自然科学基金项目(050420204)
安徽省自然科学基金项目(2006KJ098B)
安徽省高校拔尖人才基金项目(05025102)
