摘要：本發(fā)明公開一種工作流流程圖并發(fā)單元的合法性校驗方法。它通過靈活的組合運用圖的先深搜索算法來檢查并發(fā)單元的非法出口、非法入口及各并發(fā)分支間的跳轉(zhuǎn)；具體為：其數(shù)據(jù)結(jié)構(gòu)采用正向、逆向兩個鄰接表；在檢驗非法出口時使用正向鄰接表，在檢驗非法入口時使用逆向鄰接表，在檢驗并發(fā)分支間的跳轉(zhuǎn)時，分別使用到兩個鄰接表。本發(fā)明通過靈活的組合運用圖的先深搜索算法檢查出并發(fā)單元的非法出口、非法入口及各并發(fā)分支間的跳轉(zhuǎn)。
- 專利類型發(fā)明專利
- 申請人東軟集團有限公司;
- 發(fā)明人王可萬;紀(jì)勇;劉積仁;袁淮;趙宏;趙大哲;
- 地址110179遼寧省沈陽市渾南高新技術(shù)產(chǎn)業(yè)開發(fā)區(qū)東大軟件園
- 申請?zhí)?/b>CN200410021269.4
- 申請時間2004年04月09日
- 申請公布號CN100382077C
- 申請公布時間2008年04月16日
- 分類號G06F17/30(2006.01);G06F9/44(2006.01);
教育裝備采購網(wǎng)企業(yè)微信客服
京公網(wǎng)安備11010802043465號
