计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2014年
7期
143-147
,共5页
UML%活动图%Petri网%PNML%转换规则
UML%活動圖%Petri網%PNML%轉換規則
UML%활동도%Petri망%PNML%전환규칙
UML%Activity diagram%Petri net%PNML%Transformation rule
统一建模语言UML缺乏形式化语义,由其描述的模型难以进行动态的分析和验证.而Petri网在具有丰富而严格语义的同时,又有严谨的数学分析方法.综合运用Petri网和UML能够提高软件描述的全面性、一致性、精确性和完整性.研究了UML活动图向Petri网的转换规则,并依据转换规则实现了模型转换工具APConverter.此工具能有效地将活动图转换为Petri网模型并生成PNML文件,进而更好地对UML模型进行分析和验证.
統一建模語言UML缺乏形式化語義,由其描述的模型難以進行動態的分析和驗證.而Petri網在具有豐富而嚴格語義的同時,又有嚴謹的數學分析方法.綜閤運用Petri網和UML能夠提高軟件描述的全麵性、一緻性、精確性和完整性.研究瞭UML活動圖嚮Petri網的轉換規則,併依據轉換規則實現瞭模型轉換工具APConverter.此工具能有效地將活動圖轉換為Petri網模型併生成PNML文件,進而更好地對UML模型進行分析和驗證.
통일건모어언UML결핍형식화어의,유기묘술적모형난이진행동태적분석화험증.이Petri망재구유봉부이엄격어의적동시,우유엄근적수학분석방법.종합운용Petri망화UML능구제고연건묘술적전면성、일치성、정학성화완정성.연구료UML활동도향Petri망적전환규칙,병의거전환규칙실현료모형전환공구APConverter.차공구능유효지장활동도전환위Petri망모형병생성PNML문건,진이경호지대UML모형진행분석화험증.
