分享到:

工作流过程模型的层次研究及其分析

工作流管理系统是一种特殊的异步并发CSCW软件。这种协同工作软件系统能够理解、解释和自动执行或同参与者交互式地执行各种预定义的流程(称为过程定义),而不需要分别为不同的业务流程开发软件,这一特征能使企事业单位快速响应外界需求、提高管理水平、降低成本和提高质量等。工作流管理系统继数据库管理系统和人机界面管理系统之后,被称为应用软件的第三次分离。它已成为组成现代应用系统,特别是工作在Internet环境下的应用系统不可或缺的重要组成部分。这种分离不仅使人们对这些分离的软件成份能进行深入的研究,而且由这些成熟的软件部件可以方便地构造整个应用,增加了软件复用性。工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。一个好的工作流过程模型应该是一个具有高度的灵活性、可靠性、可用性、可伸缩性和互操作性的工作流管理系统的关键和基础。目前,有很多方法和工具可用于描述工作流过程模型  (本文共123页) 本文目录 | 阅读全文>>

《科技广场》2007年09期
科技广场

基于图变换的工作流建模及正确性分析

0引言工作流过程模型(过程定义)是整个工作流管理系统(Workflow Management System,WfMS)的基础[1],其质量直接影响到了工作流管理系统的应用范围和对变化的适应能力。工作流过程模型中应用最多的是描述语言(对象模型)、基于图、网的方法(有向图、条件化有向图、Petri网)、基于规则的方法等形式[2]。总体上讲,大多数工作流过程模型在可视化、描述全面性、过程分析以及形式化等方面难以均衡,健壮性和柔性不足。图变换是现有很多可视化语言的理论基础[3]。图变换具有形式化和直观的特点,尤其是图变换能为可视化模型的操作提供可视化、基于规则的方法。这使得图变换已经被广泛的应用于计算机科学的很多领域[4],例如模型仿真、模型演化、形式化语言理论、模式识别、软件工程等。本文将图变换理论引入到工作流建模领域中,通过抽象语法、具体语法和规则的研究,设计了一种新的工作流过程模型规范。并以该模型规范为基础,利用TIGER工具,实...  (本文共4页) 阅读全文>>

《黑龙江大学自然科学学报》2006年06期
黑龙江大学自然科学学报

基于事前分析方法的工作流过程模型的验证

1引言工作流模型以过程模型为中心,集成企业的信息视图、资源视图、组织试图和功能视图,它是实现工作流管理系统的基础。当前过程模型的研究多集中于过程定义方面,即通过采用不同的建模方法描述企业的经营过程,忽略了对过程模型本身性质的分析。对此,本文将事前分析思想应用于过程模型分析研究中。所谓过程模型的事前分析是指过程模型在被实例化之前,需先对其模型的有效性和结构的正确性进行分析与验证,确保过程实例能够正确执行,避免由模型自身结构的不合理而导致过程实例执行的非正常终止。因此,过程模型的事前分析可分为两个部分:(1)模型的有效性证实:即确认该过程模型是否与要描述的真实世界系统相一致,是否能实现企业的预期目标。(2)模型的正确性验证:它包括结构正确性和语义正确性证明两方面。结构正确性是指过程模型无结构冲突,在没有错误发生时工作流能够正常终止;而语义正确性指工作流正常终止时能达到所期望的业务目标。过程模型的分析基于不同的过程建模方法,有的建模方...  (本文共5页) 阅读全文>>

《计算机学报》2018年03期
计算机学报

基于Petri网的批量迹与过程模型校准

1引言自美国宣布“大数据的研究和发展计划”以来,大数据引起了世界各国的高度关注.大数据时代的到来,不仅改变了人们的生活工作方式和企业的运作模式,甚至引起了科学研究模式的根本改变[1-2].面对大数据带来的各种挑战[3-4],业务过程管理(Business Process Management,BPM)必将得到进一步发展[5].BPM以业务过程和事件日志为基础,将管理技术和信息技术结合起来以提高过程管理的效率,增强企业竞争能力.随着信息系统支持的业务过程越来越多,过程模型和事件日志的可用性越来越高[6-7].但是当日志在模型上运行时,可能会存在偏差(deviation)[8].校准(alignment)[9-10]是事件日志和过程模型之间进行一致性检查(conformance checking)的一种方法,其能够根据给定的代价函数得到事件日志中迹与过程模型之间的拟合(fitness)情况,确定出现偏差的位置,在此基础上可进一步分析...  (本文共17页) 阅读全文>>

《计算机技术与发展》2007年12期
计算机技术与发展

工作流过程模型研究

0引言工作流技术作为计算机支持的协同工作(Comput-er Supported Cooperative Work,CSCW)领域的一项重要应用,在企业过程管理中发挥了重大作用。工作流过程模型(过程定义)是工作流管理系统的一个核心问题,描述一个特定业务的工作流程,这种描述必须符合一定的规范和规则。随着经济的全球化和竞争的加剧,企业的管理模式和组织结构出现了许多新的情况,工作流过程模型的质量直接影响了整个工作流管理系统WfMS(Workflow Management System)的应用范围和对变化的适应能力。研究表明,工作流过程模型是工作流管理系统中最重要、也是没有很好解决的重要问题之一。工作流过程模型的好坏直接关系到对实际业务的描述能力、正确性、分析、验证和优化改良等各个方面。1工作流过程模型的研究现状1.1工作流管理联盟(WfMC)定义的元模型WfMC提出工作流过程定义元模型是为了实现不同工作流产品之间的互操作,方便与其他应...  (本文共5页) 阅读全文>>

《华东经济管理》2011年01期
华东经济管理

协同工作流过程模型的时间机制研究

一、引言随着网络和信息技术的发展,企业之间的竞争日益激烈,提升核心竞争力和敏捷性成为企业当前的迫切任务。作为提高核心竞争力的主要手段,并行工程、经营过程重组以及敏捷制造工程等管理思想对企业发展起着重要的作用,而这些管理方法的核心思想在于对流程的管理或改造,需要工作流管理系统的支持。工作流过程模型是工作流管理系统的核心。现代组织的信息环境的动态性、分布性、异构性和自治性的特征日益明显,传统的工作流模型缺乏对动态变化所必须的柔性支持[1],时间成为影响流程运行和资源分配的关键因素,具有时间约束描述功能的时间工作流过程模型成为当前研究的重点。当前对时间约束研究工作主要有:(1)关键路径约束[2-3]:通过相关算法找出工作流程的关键路径,对关键路径最大完成时间进行估算,并以此时间控制其他路径任务执行时间;(2)时间区间约束[4,5]:为每个活动设置最早和持续约束时间,活动的执行应在约束时间内,否则为异常,若活动时间约束为不确定变量,可对...  (本文共3页) 阅读全文>>