工作流过程模型研究

工作流过程模型是整个工作流管理系统的基础,模型描述能力的强弱决定了系统所支持应用的范围以及系统的灵活度.近年来随着工作流技术应用的发展,对工作流过程模型的研究也就得到普遍重视.文中介绍了工作流过程模型的概念本质,然后对工作流的研究现状进行综述,主要包括工作流过程模型理论基础、工作流过程模型的不足等,最后指出了工作流过程模型的发展趋势.     

基于Petri网的分层工作流模型研究

为了满足企业对过程模型在描述能力和分析能力上的要求,提出了一个基于Petri网的分层工作流过程模型.在深入分析各种工作流模式的基础上,对基本网的进行了一些的扩展,通过增加变迁入口函数,变迁体函数,消息机制,控制变量等,描述了工作流模式中的多实例,取消,高级同步等复杂模式.给出了工作流过程的描述模型DWF_net和分析模型AWF_net的形式化定义.描述模型DWF_net实现对各种复杂流程的直接描述.变迁入口函数通过对控制变量的判断,来消解DWF_net中的冲突.变迁体函数通过可扩展逻辑描述语句,来实现对控制变量的读写及收发消息等操作.AWF_net作为DWF_net的分析模型,剥离了DWF_net个案的语义信息,可以直接利用已有的Petri网分析技术来分析模型.最后,通过一个综合实例来说明如何使用本文提出的模型来对各种复杂流程建模和分析.     

一种工作流模型正确性验证方法

工作流形式化建模一直是工作流管理研究的重点和热点.目前的一些形式化建模工具都主要注重工作流的过程建模部分,即工作流的路由.但是工作流管理系统是涉及过程、数据、组织资源等多方面的复杂信息系统.引入一种新型的图形结构--元图,提出基于元图的基本活动单元的完整工作流模型,重点给出了这种工作流模型的正确性定义,并进行了正确性校验,校验算法高效简捷,使之成为一套完善的工作流建模形式化体系.     

基于随机Petri网工作流档案管理系统的建模与分析

随着信息时代的发展,档案管理系统的功能和规模也在不断扩大。对档案管理系统建模,并进行相关的定性和定量分析也成为研究档案管理系统的主要内容之一。由于档案管理系统流程本质上等价于工作流,所以将档案管理系统与工作流技术相结合,建立了档案管理系统的工作流网模型,并利用随机Petri对档案管理系统进行了分析,包括对所建模型的正确性进行了定性分析,对工作流的性能进行了定量分析,最后通过实例进行了说明。     

基于角色块的工作流模型挖掘

工作流挖掘可以从工作流日志中提取信息以获取工作流模型,但以往的研究得到的工作流模型基本上是基于活动的。首先对URPA模型进行了扩展,得到基于角色块的USPA模型。在此基础上,提出了一种基于角色活动图RAD的工作流模型挖掘算法。该算法利用管理者角色,以角色块结构表示工作流模型,满足US-PA模型。     

基于过程挖掘的科学工作流交互式构建

传统的交互式工作流构建方法在处理规模较大或流程复杂的工作流时构建效率较低。为此,提出了一种基于过程挖掘的工作流构建方法,采用启发式问答方式收集记录流程片段,通过特别设计的关系描述语言以实现工作流中不同层级和不同环节的过程描述,由描述文本转译生成的流程关系数据被输出到过程发现算法中,从而生成健全的工作流网络。实现了一套交互式工作流构建工具,并在科学工作流案例中进行了测试,验证了方法的有效性,在与其它方法相对比时表现出更佳的交互效率。     

WfMS系统建模和内部协调

通过对工作流和工作流管理系统相关定义和功能的分析,建立了基于关系和模型分解的工作流和工作流管理系统的数学模型。根据建立的参考模型、针对工作流管理系统的协调重点,从任务序列的执行和模型对象的扩展两个方面,对工作流管理系统提出两种协调模式,并对协调方式的机理和内容进行了研究,为了满足系统扩展的需要,本文还对工作流管理系统的开放性进行了探讨。     

多策略的工作流管理系统访问控制模型

针对RBAC模型中没有明确定义模型的非法信息流,也没有提供信息流控制策略,会带来严重的信息泄露问题,对传统的军用安全模型加以改进,并推广到工作流管理系统中,提出了一种基于安全信息流和角色的多策略工作流管理系统访问控制模型,给出了模型的形式化定义、检测系统中合法信息流的算法.新模型为每个角色增加安全类,同时也为每个客体分配一个安全类,在基于角色进行访问控制的同时根据安全信息流进行访问控制,可以很好地解决目前基于角色的工作流管理系统访问控制模型中的信息泄露问题,增强系统的安全性.将该方法应用于开发的工作流 管理系统中,收到了很好的效果.     

基于角色的跨组织工作流研究

跨组织流程的管理已成为电子商务的一个主题。作为提高企业运作效率的协调技术 ,跨组织工作流管理系统需要适应企业之间异类工作流的互联。从角色及其交互角度研究跨组织工作流 ,结合以活动和角色描述工作流的优点 ,针对传统的工作流模型淡化了参与者之间的交互 ,没有一致的概念模型 ,导致了工作流管理联盟的互联标准难以达到实用要求的问题进行分析     

继承式跨组织工作流设计在B2B电子商务模式中的应用

根据面向对象的编程思想，在Petri网进行工作流模型设计的基础上，提出了在B2B电子商务模式中的一种继承式跨组织工作流设计的建模方法，从而达到在B2B电子商务中加强商业伙伴有效合作的同时，又对自身流程的有效控制的效果，起到促进B2B电子商务发展的最终目的，文章中以实例做了分析论证。     

面向企业过程重建的事务流程模型研究与应用

作为一项组织管理新概念,企业过程重建（ＢＰＲ）不仅需要观念上的变革,亦需有与之相适应的系统化方法的支持．面向ＢＰＲ的事务流程模型作为其基础,尤为重要．本文从分析ＢＰＲ流程模型的特征需求入手,提出了一种基于扩展Ｐｅｔｒｉ网的面向ＢＰＲ的事务流程模型（ＢＰＭ）．继而探讨了其模型机制,并举例加以说明．     

一种工作流动态修改方法

工作流动态修改是个研究热点，文章提出了一种工作流动态修改方法，它是基于修改活动构件库，并根据所建立的模型，修改要求和修改活动的组装策略，来实现工作流的动态修改，最后文章还论述了这种动态修改方法的优越性，可行性和正确性。     

基于Petri网的民航飞机故障诊断工作流模型

针对民航飞机结构和故障机理复杂的特性,建立了基于Petri网的民航飞机故障诊断工作流模型。该模型将工作流技术引入民航飞机故障诊断领域,指出民航飞机工卡可反映故障诊断过程,并总结了民航飞机工卡记录的工作流程。分析该模型的性质说明可以进行简化、合并等操作。以水平安定面铰链磨损检查的转化和简化工作为例,说明了方法的有效性。     

Mobile Information and Communication Technology and Management of Business Changes in Construction Companies in Slovenia

In this paper, we are using the business process reengineering (BPR) concept together with the potentials of mobile information and communication technology (mobile ICT) to interpret the ability for better capturing of business changes that construction companies are faced with. Through our intensive examination of reengineering initiative in construction, we find that relatively low emphasis was placed on the opportunity to use information and communication technology (ICT) more progressively throughout the construction processes. We developed a methodological concept ‘Reengineering of the construction process (RCP-model)’ that captures the BPR philosophy as well as potentials of mobile ICT as technical background. Research assumptions were tested with the implementation of the proposed model in a concrete Construction Company in Slovenia. The reengineering project realization is defined from the viewpoint of the given implementation projects and exposure of the elements that affect adoption of BPR and enable evaluation of the attained results of company reorganization. Difficulties and milestones of the reengineering project, the importance of management and coordination of work are also stressed.     

基于Petri网的工作流模式--工作流模式分析研究

随着企业建模、工作流概念的出现以及相关技术的发展,Petri网因其既有严格的形式定义,又有直观的图形表示,既有丰富的系统描述手段和系统行为分析技术,又为计算机科学提供坚实的概念基础等诸多优点也被应用于这一新兴领域,对工作流理论基础进行研究.本文将利用Petri网来描述和分析工作流的各种模式,比较模式之间的异同,并对模式进行合并和重划分.     

企业流程重构的Meta-Model建模方法

本文介绍了企业流程重构的经济背景和基本概念，由于企业流程是企业流程重构的核心概念，文中引入了企业流程的定义，并对重构后的流程所具有的特点进行了深入的分析，最后本文提出了一种离散数学模型－－ｍｅｔａ－ｍｏｄｅｌ建模方法，对企业流程进行数学建模，取得了良好的效果。