基于Petri网的工作流过程建模

工作流是对一组有关联的工作任务间的依赖关系进行的形式化描述。通过对目前流行的一些工作流产品的分析,针对现有工作流模型表达能力差,缺乏严格的形式化数学定义以及没有科学分析手段的缺点,引入有色Petri网的相关理论,建立一个工作流逻辑网以实现工作流的过程建模,该模型有严格的理论基础,并可以利用成熟的Petri网分析方法对业务流程进行分析,同时还具有一定的灵活性和可扩展性。

一种提高系统柔性的工作流模型

为了提高工作流管理系统的柔性以满足现代企业多变的业务需求,本文基于活动网络图提出一种完全面向企业用户的工作流建模方法,给出其形式化定义,构建一个工作流模型,并结合一个抽象的流程示意图重点论述其演进规则。在此工作流模型的基础上开发的工作流管理系统的使用情况表明,它完全满足客户多变的实际需求。

柔性工作流建模引入NVP的可靠性优化研究

针对当前大型企业的工作流管理系统普遍存在建模能力不充分、可靠性不足等问题,提出一种基于N版本程序设计(N-Version Programming)容错策略的柔性工作流建模方法,该方法相比于传统工作流模型,有效应用N版本程序设计容错模式,为工作流关键活动节点增加容错机制,从而显著提升工作流管理系统的可靠性.同时为满足模型应用的现实需求,详细分析N版本程序设计的可靠性优化,最后通过模型实例,说明该建模方法在模型描述能力和系统可靠性方面的优势.