基于层次工作流网和构件的装备管理过程建模

为了克服复杂工作流模型的状态爆炸问题、提高模型的复用性,运用层次细化理论,构建了层次工作流网,并对装备管理进行了基于层次工作流网的建模.在此基础上,利用构件思想将层次建模中划分出来的原子级的功能操作模块和独立的子流程构件化,制作成可独立发布的构件模型,应用于整个装备管理工作流建模中.通过对构件的调用,使所建模型直观简单、便于修改,而且达到了一次建立构件后多次使用的目的,增强了模型的复用性,减少了建模工作量.

工作流主从实例处理方法及其Petri网建模

提出一种基于染色Petri网的解决方案,可以提高这种处理模式的灵活性,增强其处理功能。为了解决主从实例同步问题,提出了层次染色标记(token)的概念。还指出,这一方法对于描述和分析工作流系统中的并行处理也是很有效的。

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。