计算机技术与发展
計算機技術與髮展
계산궤기술여발전
COMPUTER TECHNOLOGY AND DEVELOPMENT
2010年
4期
76-79,83
,共5页
眦形式化%状态图%序列图%Petri网
眥形式化%狀態圖%序列圖%Petri網
자형식화%상태도%서렬도%Petri망
UML是功能强大的图形化建模语言,但存在缺乏精确的语义描述的特点,因此UML形式化研究一直是一个热点.Petri网既有直观的图形表示,又有坚实的数学基础,拥有许多成熟的分析方法可以直接用于分析模型的性能.结合一个图录编纂应用系统,使用基于Petri网的建模方法,对该系统的UML状态图和序列图进行了形式化分析.排除UML模型中的缺陷,在软件设计阶段发现错误,降低软件开发的花销,最终达到提高了软件的质量的目的.
UML是功能彊大的圖形化建模語言,但存在缺乏精確的語義描述的特點,因此UML形式化研究一直是一箇熱點.Petri網既有直觀的圖形錶示,又有堅實的數學基礎,擁有許多成熟的分析方法可以直接用于分析模型的性能.結閤一箇圖錄編纂應用繫統,使用基于Petri網的建模方法,對該繫統的UML狀態圖和序列圖進行瞭形式化分析.排除UML模型中的缺陷,在軟件設計階段髮現錯誤,降低軟件開髮的花銷,最終達到提高瞭軟件的質量的目的.
UML시공능강대적도형화건모어언,단존재결핍정학적어의묘술적특점,인차UML형식화연구일직시일개열점.Petri망기유직관적도형표시,우유견실적수학기출,옹유허다성숙적분석방법가이직접용우분석모형적성능.결합일개도록편찬응용계통,사용기우Petri망적건모방법,대해계통적UML상태도화서렬도진행료형식화분석.배제UML모형중적결함,재연건설계계단발현착오,강저연건개발적화소,최종체도제고료연건적질량적목적.
