首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到17条相似文献,搜索用时 500 毫秒
1.
本文面向高职校科研项目的管理问题,在给出项目管理过程的工作流模型的基础上,建立了基于Petri网的科研项目管理工作流模型,运用W.M.P van derAalst的工作流网完整性定义及模型化简方法,实现了对该模型正确性和有效性的验证。  相似文献   

2.
一种基于Petri网的工作流过程模型正确性的有效验证方法   总被引:3,自引:0,他引:3  
随着工作流应用的日益广泛 ,工作流模型正确性验证的重要性日渐突出 .论文研究了工作流过程模型的基于Petri网的正确性验证方法及发现过程模型设计中存在的潜在错误 ,给出了一个有效的验证算法  相似文献   

3.
针对目前工作流引擎效率不高的问题,从实用的角度出发,提出了一个基于事件驱动的高效柔性工作流引擎设计方法,给出了工作流建模,工作流定义和解析的方法,介绍了应用程序的接口和应用程序的调用过程,论述了工作流事件驱动机制及其实现方法。  相似文献   

4.
文章首先对工作流技术及其发展现状进行了简述,指出了工作流应用方面存在的一些问题;在此基础上提出了一种基于数据库的轻量级工作流管理模型,并对其过程定义工具、工作流数据库、组织建模工具、工作流引擎与工作流管理器和业务系统等几个部件进行了详细描述。  相似文献   

5.
工作流是一种在计算机支持下实现业务过程全部或部分自动化的技术。利用工作流的特点和工作流模型的过程定义,以某高校饮食中心物资管理信息系统的开发过程为例,阐述了如何运用工作流技术将物资管理工作的各个环节有机结合起来,改进饮食中心物资管理的业务过程控制。  相似文献   

6.
为提高银行贷款申请审批工作效率,利用工作流技术设计基于浏览器/服务器架构的贷款申请审批工作流模型.对贷款申请流程进行工作流过程定义,给出贷款申请审批活动的形式化定义,在此基础上设计实现该系统的工作流引擎.同时,该系统引入奖惩机制,督促节点处理人员及时处理任务,提高节点的处理效率和质量,严格控制贷款申请单从填写到最终获得审批结果的所需处理时间.实践表明,在该系统的支撑下,贷款申请审批效率得到很大的提高.  相似文献   

7.
首先介绍了工作流出现的背景和定义,然后介绍了Petri-Net的概念和特点,接着在Petri-Net的基础上引出了FireFlow工作流的定义及其重要特性,进而通过在办公系统中的一个典型应用,分析了FireFlow工作流的技术架构,最后对FireFlow工作流进行了总结。  相似文献   

8.
网格工作流不仅仅是传统工作流技术在网格环境中的一个应用,同时有大量的基本问题需要重新考虑。以Petri网建模技术构建网格工作流的过程模型有其优点和不足,可以在传统Petri网的基础上针对网格工作流的特点进行扩展,通过定义动态有色Petri网这一建模语言,解决网格工作流过程模型中的规模问题、动态性问题和选择性问题。  相似文献   

9.
杜维 《教育技术导刊》2010,9(5):133-135
通过对当前工作流模型研究现状的总结分析,发现针对工作流中的数据信息的建模方法还存在局限性。因此,通过结合过程模型和数据对象模型,提出了一种扩展数据对象工作流Petri网模型,并给出了模型的形式化定义。  相似文献   

10.
业务流程重组(BPR)是增强企业竞争能力的关键,而工作流技术是支持过程改进的有效技术.至今为止,工作流仿真和优化还是一个薄弱环节.本文提出了一种基于petri网的工作流仿真方法和工作流优化的关键路径方法(CPM),从而为支持企业业务过程改进找到了一个可行的思路.最后,给出工作流仿真系统JXWorkflow具体实例分析.  相似文献   

11.
Educational studies that attempt to identify variables contributing significantly to student learning of science concepts often rely on careful construction of operational definitions as a means of controlling treatment variables. It is argued that this is not sufficient in a behavioral experiment such as in a science classroom because students may not behave as planned. In such research, quantitative treatment verification is necessary. A survey of the use of treatment verification in science teaching research is presented as well as one such procedure in detail. If the researcher finds significant differences between treatment groups on dependent measures, and if differences for student-teacher behaviors between treatments are quantified and determined to differ significantly, the researcher has a much stronger case for arguing causation than if treatment verification had not been employed.  相似文献   

12.
13.
为支持流程中不确定性因素和动态因素的描述,提出了柔性工作流的动态层次描述方法,使得流程设计人员在流程定义阶段定义的主流程可以在任意时刻由子组织的负责人进行细化和扩充.为保证动态层次描述的正确性和完整性,讨论了动态层次描述的一系列约束规则,确保分解后的流程与原有流程实现无缝衔接.该描述方法支持对不可预知的非确定性因素的描述,支持业务流程的动态层次描述以及组织机构的变化,极大地增加了工作流管理系统的柔性和可扩展性.  相似文献   

14.
从常规科学学科的基本结构出发,讨论农业经济学的科学基础,焦点是其科学活动的内容和方法。讨论结果阐述了农业经济学中数理分析、测度计量与实际验证这3个活动层次的科学性的定义和功能。从而探讨了学科在科学化进展中需要解决的基本问题,强调了学科建设的基本方向。  相似文献   

15.
本文所述的面向产品全生命周期的工艺流程管理系统是863/CIMS主题项目“工艺信息数字化定义和管理技术的研究和应用”的重要组成部分之一。在深入分析和研究了现代企业工艺工作的特点的基础上,设计并开发出了一套基于关系型数据库的三层体系结构的工艺流程管理系统。本文是基于工作流技术,围绕着产品从需求、设计、生产、经销、使用、维修保养,直到回收再处置的全生命周期中的工艺信息与过程,提出了面向产品全生命周的工艺流程管理系统的总体设计方案。  相似文献   

16.
创新网络课程开发的管理模式,提高网络课程开发的工作效率,越来越受到国内远程教育界的关注。开发支持网络课程开发业务的管理信息系统已成迫切需求,基于工作流技术构建相应的系统是解决此类问题的最佳途径。东北财经大学网络教育学院和北京师范大学知识工程研究中心合作,通过系统环境、组织结构和职责调查、业务流程及业务流程数据分析,对国内网络教育学院网络课程开发过程进行调研,形成网络课程开发的业务流程并进行工作流建模,然后基于JBPM工作流引擎,开发了支持项目管理、模式管理且可以配置流程的网络课程开发工作流管理系统。  相似文献   

17.
As a variant of process algebra, π-calculus can describe the interactions between evolving processes. By modeling activity as a process interacting with other processes through ports, this paper presents a new approach: representing workflow models using π-calculus. As a result, the model can characterize the dynamic behaviors of the workflow process in terms of the LTS (Labeled Transition Semantics) semantics of π-calculus. The main advantage of the workflow model's formal semantic is that it allows for verification of the model's properties, such as deadlock-free and normal termination. Moreover, the equivalence of workflow models can be checked through weak bisimulation theorem in the π-calculus, thus facilitating the optimization of business processes.  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号