摘要:本发明公开一种工作流流程图并发单元的合法性校验方法。它通过灵活的组合运用图的先深搜索算法来检查并发单元的非法出口、非法入口及各并发分支间的跳转;具体为:其数据结构采用正向、逆向两个邻接表;在检验非法出口时使用正向邻接表,在检验非法入口时使用逆向邻接表,在检验并发分支间的跳转时,分别使用到两个邻接表。本发明通过灵活的组合运用图的先深搜索算法检查出并发单元的非法出口、非法入口及各并发分支间的跳转。
- 专利类型发明专利
- 申请人东软集团有限公司;
- 发明人王可万;纪勇;刘积仁;袁淮;赵宏;赵大哲;
- 地址110179辽宁省沈阳市浑南高新技术产业开发区东大软件园
- 申请号CN200410021269.4
- 申请时间2004年04月09日
- 申请公布号CN100382077C
- 申请公布时间2008年04月16日
- 分类号G06F17/30(2006.01);G06F9/44(2006.01);