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