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