发明名称 |
工作流流程图并发单元的合法性校验方法 |
摘要 |
本发明公开一种工作流流程图并发单元的合法性校验方法。它通过灵活的组合运用图的先深搜索算法来检查并发单元的非法出口、非法入口及各并发分支间的跳转;具体为:其数据结构采用正向、逆向两个邻接表;在检验非法出口时使用正向邻接表,在检验非法入口时使用逆向邻接表,在检验并发分支间的跳转时,分别使用到两个邻接表。本发明通过灵活的组合运用图的先深搜索算法检查出并发单元的非法出口、非法入口及各并发分支间的跳转。 |
申请公布号 |
CN100382077C |
申请公布日期 |
2008.04.16 |
申请号 |
CN200410021269.4 |
申请日期 |
2004.04.09 |
申请人 |
东软集团有限公司 |
发明人 |
王可万;纪勇;刘积仁;袁淮;赵宏;赵大哲 |
分类号 |
G06F17/30(2006.01);G06F9/44(2006.01) |
主分类号 |
G06F17/30(2006.01) |
代理机构 |
沈阳科苑专利商标代理有限公司 |
代理人 |
许宗富;周秀梅 |
主权项 |
1.一种工作流流程图并发单元的合法性校验方法,其特征在于:通过灵活的组合运用图的先深搜索算法来检查并发单元的非法出口、非法入口及各并发分支间的跳转;具体为:其数据结构采用正向、逆向两个邻接表,在检验非法出口时使用正向邻接表,在检验非法入口时使用逆向邻接表,在检验并发分支间的跳转时,分别使用到两个邻接表,正向搜索时使用正向邻接表,反向搜索时使用逆向邻接表。 |
地址 |
110179辽宁省沈阳市浑南高新技术产业开发区东大软件园 |