浙江理工大学学报
浙江理工大學學報
절강리공대학학보
JOURNAL OF ZHEJIANG SCI-TECH UNIVERSITY
2010年
6期
889-894
,共6页
UML%Petri网%Promela语言%建模%验证
UML%Petri網%Promela語言%建模%驗證
UML%Petri망%Promela어언%건모%험증
为了更好的建立系统模型,分析系统模型的性质,提出一种基于UML和Petri网的建模方法.用UML对系统进行可视化建模,利用Petri网对系统的动态行为进行建模,从不同的角度对系统进行建模,运用两种建模方法的优势,以及UML和Petri网之间的转化规则,实现两种模型的转换.最后把Petri网转化为Promela程序,用SPIN工具Petri网模型进行验证.
為瞭更好的建立繫統模型,分析繫統模型的性質,提齣一種基于UML和Petri網的建模方法.用UML對繫統進行可視化建模,利用Petri網對繫統的動態行為進行建模,從不同的角度對繫統進行建模,運用兩種建模方法的優勢,以及UML和Petri網之間的轉化規則,實現兩種模型的轉換.最後把Petri網轉化為Promela程序,用SPIN工具Petri網模型進行驗證.
위료경호적건립계통모형,분석계통모형적성질,제출일충기우UML화Petri망적건모방법.용UML대계통진행가시화건모,이용Petri망대계통적동태행위진행건모,종불동적각도대계통진행건모,운용량충건모방법적우세,이급UML화Petri망지간적전화규칙,실현량충모형적전환.최후파Petri망전화위Promela정서,용SPIN공구Petri망모형진행험증.
