计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2013年
6期
202-208
,共7页
系统建模语言%随机Petri网%广义随机Petri网%状态机图%建模
繫統建模語言%隨機Petri網%廣義隨機Petri網%狀態機圖%建模
계통건모어언%수궤Petri망%엄의수궤Petri망%상태궤도%건모
SysML%Stochastic Petri nets%Generalised stochastic Petri net%State machine diagram%Modelling
针对SysML状态机图本身缺乏分析和验证手段的问题,提出一种SysML状态机图向广义随机Petri网的转换方法.主要定义将SysML状态机图转换为相应Petri网可执行模型的八种转换规则,应用这些规则可以将状态机图转换为Petri网模型,进而对其进行分析、验证,并可检测SysML的行为规范与并发相关的性质,如死锁、有界性等,同时,该方法可处理带有时间延迟和概率信息的状态转换.最后通过数字证书系统的一个实例说明该方法的可行性.
針對SysML狀態機圖本身缺乏分析和驗證手段的問題,提齣一種SysML狀態機圖嚮廣義隨機Petri網的轉換方法.主要定義將SysML狀態機圖轉換為相應Petri網可執行模型的八種轉換規則,應用這些規則可以將狀態機圖轉換為Petri網模型,進而對其進行分析、驗證,併可檢測SysML的行為規範與併髮相關的性質,如死鎖、有界性等,同時,該方法可處理帶有時間延遲和概率信息的狀態轉換.最後通過數字證書繫統的一箇實例說明該方法的可行性.
침대SysML상태궤도본신결핍분석화험증수단적문제,제출일충SysML상태궤도향엄의수궤Petri망적전환방법.주요정의장SysML상태궤도전환위상응Petri망가집행모형적팔충전환규칙,응용저사규칙가이장상태궤도전환위Petri망모형,진이대기진행분석、험증,병가검측SysML적행위규범여병발상관적성질,여사쇄、유계성등,동시,해방법가처리대유시간연지화개솔신식적상태전환.최후통과수자증서계통적일개실례설명해방법적가행성.
