提 文献【3］指出，工作流模型分为三层，即： 出了一种基于P厂r系统的工作流过程模型过工作流逻辑（workflow Logic）层，工作流语义 程网（pr。oedure net）。
基于8个网页-相关网页
soundness of workflow control logic 工作流控制逻辑正确性
The centralization of workflow logic into the abstract superclass is an example of inversion of control.
使工作流的逻辑集中到抽象类是控制反转的例子。
Because entity beans purely represent data, it is suggested that no workflow logic be coded in an entity bean.
由于实体bean只表示数据，建议不要把工作流逻辑编码在实体bean中。
The verification of throughness of workflow logic is very expensive both in time and space. The state ex- plosion is the main difficulty.
工作流的畅通性验证无论在时间上还是空间上代价都是非常高的，状态空间爆炸是验证的主要困难所在。
应用推荐