计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2012年
9期
138-142
,共5页
王松锋%熊选东%付建丹%张亮忠
王鬆鋒%熊選東%付建丹%張亮忠
왕송봉%웅선동%부건단%장량충
系统建模语言%Petri网%活动图%建模
繫統建模語言%Petri網%活動圖%建模
계통건모어언%Petri망%활동도%건모
系统建模语言(Systems Modeling Language,SysML)是目前国际上系统工程领域最新的标准建模语言,它包括语义和表示法两部分,缺乏分析和验证的手段.为了弥补这一不足,研究了SysML活动图到Petri网的转换方法,主要定义了将SysML活动图转换为相应Petri网可执行模型的6种转换规则.应用这些规则可以将活动图转换为Petri网模型,进而对其进行化简、分析和验证,同时可检测SysML的行为规范与并发相关的性质,如死锁、有界性等.采用列举法和模拟法验证了所建模型的一致性.证书申请活动图的实例表明,该方法是可行的.
繫統建模語言(Systems Modeling Language,SysML)是目前國際上繫統工程領域最新的標準建模語言,它包括語義和錶示法兩部分,缺乏分析和驗證的手段.為瞭瀰補這一不足,研究瞭SysML活動圖到Petri網的轉換方法,主要定義瞭將SysML活動圖轉換為相應Petri網可執行模型的6種轉換規則.應用這些規則可以將活動圖轉換為Petri網模型,進而對其進行化簡、分析和驗證,同時可檢測SysML的行為規範與併髮相關的性質,如死鎖、有界性等.採用列舉法和模擬法驗證瞭所建模型的一緻性.證書申請活動圖的實例錶明,該方法是可行的.
계통건모어언(Systems Modeling Language,SysML)시목전국제상계통공정영역최신적표준건모어언,타포괄어의화표시법량부분,결핍분석화험증적수단.위료미보저일불족,연구료SysML활동도도Petri망적전환방법,주요정의료장SysML활동도전환위상응Petri망가집행모형적6충전환규칙.응용저사규칙가이장활동도전환위Petri망모형,진이대기진행화간、분석화험증,동시가검측SysML적행위규범여병발상관적성질,여사쇄、유계성등.채용열거법화모의법험증료소건모형적일치성.증서신청활동도적실례표명,해방법시가행적.
