工作流引擎设计中值得注意的数学问题

   由于我们的工作流设计器(开源或收费)是开放给用户随意使用的，对流程图的设计过程一般来讲是缺乏必要的限制的，也就是说，用户在用鼠标画节点和连接节点线的时候是不会受到什么限制的，想怎么连接就怎么连接，想怎么布置节点就怎么布置，而这种任意画流程图的工具往往会使得用户设计出一个后台引擎无法预测的流程图，这些流程图往往具有比较复杂的拓扑结构和逻辑结构，这给后台引擎在处理流程的时候带来了困难，特别是那种并行分支路径与汇聚路径并不对称的流程图，一般来讲，我们是不太好限制流程设计器的使用的，所以就需要我们做出一些改变。。。

      由于目前我们的技术水平和理论水平的限制,我们设计的流程引擎还无法对任意复杂的流程拓扑结构进行解析和处理，主要是因为存在这样一个数学上的问题：“任意一个拓扑有向图是否总存在一个确定的计算模型可以对其进行解析(或者遍历)"，俺们的水平好像对此种数学问题无法处理，确实无法处理，至少现在无法处理

     如果上面说的问题没有一个解决答案，那么我们开发出来的流程引擎总会在某个奇怪的流程图上面失效，这个时候要不修改流程图，要不修改后台引擎代码，，那样就无法使我们的流程管理系统做到比较全面的自动化和自适应管理，就很不太完善。。。。

     希望大专院校和研究所里面的高手们一起来攻下这个问题，也希望国内的普元，协同，这些流程厂商有兴趣的话可以关注下，如果这个问题得到某种程度的解决(要完美的解决，好像短时间内无法做到)，那么流程管理系统的整体技术水平会上个大台阶。。。。