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