计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2009年
20期
56-58
,共3页
统一建模语言%Petri网%嵌入式系统%建模
統一建模語言%Petri網%嵌入式繫統%建模
통일건모어언%Petri망%감입식계통%건모
针对统一建模语言(UML)缺乏精确的形式化的语义描述而不能对其所建模型进行分析和验证的难题,提出一种改进的建模方法--UML-OCPN方法.该方法结合UML和对象着色Petri网(OCPN)的优点,使用UML进行建模,将其转换为Petri网模型再进行模型验证.实验结果证明,该方法能较好地解决单一使用UML或Petri网建模时出现的无法进行验证、需要开发人员具备较高数学水平等问题.
針對統一建模語言(UML)缺乏精確的形式化的語義描述而不能對其所建模型進行分析和驗證的難題,提齣一種改進的建模方法--UML-OCPN方法.該方法結閤UML和對象著色Petri網(OCPN)的優點,使用UML進行建模,將其轉換為Petri網模型再進行模型驗證.實驗結果證明,該方法能較好地解決單一使用UML或Petri網建模時齣現的無法進行驗證、需要開髮人員具備較高數學水平等問題.
침대통일건모어언(UML)결핍정학적형식화적어의묘술이불능대기소건모형진행분석화험증적난제,제출일충개진적건모방법--UML-OCPN방법.해방법결합UML화대상착색Petri망(OCPN)적우점,사용UML진행건모,장기전환위Petri망모형재진행모형험증.실험결과증명,해방법능교호지해결단일사용UML혹Petri망건모시출현적무법진행험증、수요개발인원구비교고수학수평등문제.
