一类含时间因素工作流的建模与时间性能挖掘

时间控制和管理是工作流研究中的重要问题,针对一类含时间因素的工作流,给出了Petri网建模方法,分析了含时间因素工作流Petri网的性质。基于工作流Petri网模型及其可达图,深入挖掘了理想主活动线、稳妥主活动线和最佳状态线,分析了影响整个工作流完成时间的决定性因素以及工作流活动安排的最佳安全方案,给出了寻找理想主活动线、稳妥主活动线和最佳状态线的方法,证明了工作流的最佳状态线存在的充分条件。     

一种时间工作流模型的启发式分析方法

立足于实际业务过程对工作流系统时间管理功能的需求，提出了一种新的工作流时间建模与分析方法。为工作流网的元素扩展时间属性建模业务过程的时间因素；讨论了时序业务环境中活动的可调度分析，给出了时序一致性验证方法；提出了启发式可调度性分析方法，用于验证某一给定工作流实例执行的时间可行性。研究结果表明，所提方法不仅支持业务过程的时间约束规范与验证，还对丰富工作流时间建模理论具有重要意义。     

基于矩母函数的工作流网性能分析方法

现有的基于Petri网工作流性能分析方法对模型中活动的时间分布函数有较多限制,求解过程也较为复杂.为此,通过引入矩母函数,并结合Petri网可达图分析方法,将活动服从任意分布的工作流模型同构于可达图,在进一步消减可达图突发状态的基础上,用传递函数替代整个网络的矩母函数.最后,根据矩母函数的特征,结合实例分析了工作流网的系统件能,验证了该方法用于分析工作流模型的时间性能和资源利用率的可行性.     

基于工作流模型的资源配置优化方法

工作流模型在执行过程中所引用的资源数量可以被优化。当业务实例在工作流模型中的逗留时间受到约束时,假设每一活动的业务实例逗留时间服从负指数分布,给出了以资源单位时间消耗成本最小化为目标的求解最优资源数量的方法。分析了业务实例在工作流4种基本结构的逗留时间分布与在每一活动的逗留时间分布的关系,给出了业务实例在工作流模型中总逗留时间与各资源数量的关系。最后,给出了一个基于工作流模型的资源优化示例。     

基于工作流网的成批处理工作流模型挖掘方法

针对现有过程挖掘技术在解决成批处理工作流模型挖掘问题上存在的不足,研究了相应的过程挖掘方法。利用系统事件日志中活动实例的输入输出、开始与结束时间等数据,通过引入成批处理特征等概念来发现成批处理区及隐含的事件记录,并结合现有过程挖掘方法来挖掘成批处理工作流模型。该方法充分利用现有过程挖掘方法的优越性能,解决了支持成批处理工作流系统中的模型自动构建问题。通过仿真实验验证了该方法的有效性。     

一种工作流过程模型到工作流网的转换方法

为了便于非专业人员的工作流建模操作,利用Petri网现有的分析计算方法进行工作流模型的正确性分析和系统性能计算,给出了基于统一建模语言活动图的工作流过程模型建模方法,讨论了统一建模语言活动图到工作流网的转换方法,包括：非对象节点的转换、控制流边的转换、对象节点及对象流边的转换等。结合民航机场地面信息系统实例,对转换结果进行了分析。     

基于广义随机Petri网的工作流性能分析

通过引入广义随机Petri网，将工作流管理联盟定义的工作流模型映射为广义随机工作流网络。利用广义随机Petri网与马尔可夫链的等价关系，得到一种Petri网与马尔可夫链理论相结合的工作流性能分析的新方法，为工作流性能的有效评估提供了理论依据，并通过实例验证，该方法可用于分析工作流模型的时间性能和资源利用率。     

工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

基于移动代理的分布式工作流管理系统

将代理技术与工作流技术相结合，提出了基于移动代理和系统代理协作的分布式工作流管理系统多层执行体系结构，介绍了系统中各功能模块的划分及其功能，给出了系统的执行过程。文中还对工作流模型的仿真和性能分析方法进行了讨论。     

一种网格工作流的时间管理方法

为方便网格工作流的时间管理,提出了一个服务的时间模型,为服务内部流程自动生成一个与之具备等价时间信息的服务,进而提出了网格工作流模型.该模型将网格工作流的时间问题转化为服务的时间问题,并设计了算法,以判定能否满足网格工作流中的时间约束,计算网格工作流的最短执行时间,以及活动的最早和最晚结束时间,从而较好地实现了网格工作流的时间管理.     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

面向服务的工作流性能评价及指标相关度分析

为说明服务的性能与工作流性能的关系,提出服务及面向服务的工作流的定义,并以一个示例说明面向服务环境下工作流的特点及运行机制.在此基础上,提出了面向服务的工作流性能评价模型,并将战略层、业务层、服务层与IT层的性能很好地加以结合.定义了各层的关键性能指标及形式化表达方式,提出相关度的概念.最后,通过改进层次分析法,对关键性能指标的相关度进行分析,并将其用于服务的选择.     

广义良构工作流的业务实例性能分析

为完成工作流业务实例时间性能的实时分析,提出了一种结合实例子图分解和模式化简的性能分析方法.工作流业务实例的时间性能仅与已完成的活动和将来可能执行的活动构成的工作流子网有关,业务实例的性能估计只能针对该子网进行.首先提出广义良构工作流网的概念并建立业务实例可达子网的规则和算法,讨论了活跃活动和活跃模式的性能等价模型,随后用这些模型化简广义良构的业务实例可达子网,并将因工作流模式的部分覆盖而不能完全化简的可达子网转换为更为简单的归属子图,以简化其性能求解.最后,通过实例演示了业务实例性能分析过程及方法的有效件.     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.     

支持时间管理的工作流元模型与系统实现

分析了时间管理对工作流模型和工作流系统功能的需求，基于元建模技术提出了一种符合MOF规范的工作流时间元模型，设计了支持时间管理的工作流系统框架，按照该框架开发了工作流原型系统，该系统在工程项目的实际应用中取得了良好的效果。     

扩展模糊时间工作流网的建模与仿真研究

针对不确定性情况下工作流时间分析的实际需求,基于可能性理论,引入模糊时间的概念,提出了一种扩展模糊时间工作流网,以便对不确定性时间信息进行全面描述.在考虑不同流程活动之间存在资源约束的情况下,提出了基于扩展模糊时间工作流网的多个并行流程建模方法.同时,分别讨论了扩展模糊时间工作流网模型中模糊时间和变迁触发可能性的模拟,提出了模型的仿真分析方法.最后,以某制造企业为例,采用CPN Tools进行建模和仿真分析,验证了方法的有效性.     

工作流系统时间异常处理研究

为有效地处理工作流运行中出现的时间异常,分析了工作流系统对时间异常处理的需求,给出了工作流时间异常处理和工作流时序约束相关活动的定义,提出了时间异常的分类方法和时间异常传播的计算方法,并在此基础上提出了一套行之有效的时间异常处理方法.该方法能够预测由活动延迟异常引起的其他类型的时间异常,并在这些异常实际发生之前对其进行处理.该项研究成果已在产品创新设计领域的工作流系统中得到了验证,并且针对领域特点给出了该领域内时间异常处理方法的具体操作和算法.     

一种成本约束条件下的工作流资源数量优化方法

研究了成本约束条件下协调工作流活动对资源数量的使用,以减少整个工作流系统执行时间.该问题可归纳为多选择背包问题,并设计了资源数量优化算法来满足成本约束,算法的目标是在该约束下最小化工作流系统关键路径的执行时间.最后通过实例测试了算法的有效性和正确性.     

基于Web的轻量级工作流管理系统

工作流管理针对控制、监控、优化和支持业务过程提出了一种新的解决方案。遵循工作流管理联盟参考模型,研发了一个基于Web的轻量级工作流管理系统,阐述了其基于J2EE架构的体系结构的设计,用形式化方法详细描述了其工作流理论模型。提出了一个时间约束有向图模型,并根据提出的动态角色分配方法,给出了一个基于公钥基础设施技术的条件化基于角色的访问控制方法。最后,给出了工作流实例的引擎驱动算法。实际监测和用户反馈结果表明,采用该工作流管理系统作为框架的应用系统,能够显著缩短流程信息应用系统的开发周期,大大提高用户的办事效率。