一種基于SysML活動(dòng)圖的風(fēng)險(xiǎn)識(shí)別方法
【文章頁(yè)數(shù)】:5 頁(yè)
【部分圖文】:
圖6 簡(jiǎn)化有向邊形成的新有向圖
圖5帶編號(hào)的有向圖
圖1 有向圖
如果有向圖D具有如下性質(zhì):對(duì)于D的每對(duì)不同頂點(diǎn),有序?qū)?u,v)和(v,u)中至多有一個(gè)是D的有向邊,則稱D為定向圖。若對(duì)于所有D的頂點(diǎn)序列W:u=u0、u1、u2、…、uk=v,滿足i(1≤i≤k-1)且ui鄰接到ui+1,則稱W為D的一條鏈u-v;若一條鏈u-v中,u和v重合....
圖2 典型活動(dòng)圖
由活動(dòng)圖的形式化定義可知,活動(dòng)圖包含起始節(jié)點(diǎn)和終止節(jié)點(diǎn);活動(dòng)圖中的邊表示分別表示對(duì)象流和控制流;在可能的場(chǎng)景集合C中,系統(tǒng)活動(dòng)均會(huì)從起始節(jié)點(diǎn)以對(duì)象流或控制流的形式在終止節(jié)點(diǎn)結(jié)束,并且起始節(jié)點(diǎn)和終止節(jié)點(diǎn)不重合,因此在集合C中的所有可能活動(dòng)流均不會(huì)形成閉合的回路。如圖2所示,顯示了兩....
圖3 活動(dòng)圖轉(zhuǎn)換為有向圖
首先在EnterpriseArchitecture中建立活動(dòng)圖,再導(dǎo)出為XML文件。對(duì)該XML文件進(jìn)行解析,按照轉(zhuǎn)換規(guī)則,生成對(duì)應(yīng)有向圖。基于此有向圖,遍歷開始節(jié)點(diǎn)和終止節(jié)點(diǎn)間的所有路徑,計(jì)算所有路徑上頂點(diǎn)集的關(guān)聯(lián)度rd,給所有頂點(diǎn)隨機(jī)賦予時(shí)間成本差值Δt,計(jì)算所可能路徑上的影....
本文編號(hào):4026657
本文鏈接:http://www.sikaile.net/kejilunwen/yysx/4026657.html