【摘 要】
：
作为支持过程建模、优化分析,经营过程自动化的有效支持工具,工作流(Workflow)管理技术在近年来得到了广泛的重视,并逐步成为研究的热点.迄今为止,在工作流管理领域还没有一
论文部分内容阅读
作为支持过程建模、优化分析,经营过程自动化的有效支持工具,工作流(Workflow)管理技术在近年来得到了广泛的重视,并逐步成为研究的热点.迄今为止,在工作流管理领域还没有一个统一的标准建模工具来满足工作流建模的需求,缺乏一种能够支持过程定义、过程演进以及过程分析的形式化数字模型.该文在对各种工作流模型对比分析的基础上,重点研究了基于Petri网的工作流建模方法.首先介绍了Aalst提出的WF-net(Workflow net)工作流网理论.在分析了WF-net缺点的基础上,将着色Petri网CPN(Colored Petri Net)与WF-net相结合,提出了一种彩色工作流网CPWF-net(Workflow net based on Colored Petri net)理论,给出了CPWF-net的严格定义、使能条件和触发规则,并详细分析了CPWF-net给工作流建模带来的新特性.其次,基于WF-net和CPWF-net的工作流模型不仅要清晰的表达业务过程,而且要保证模型的正确运行.为此,给出了工作流模型正确性概念,并总结出正确性判定定理.根据判定定理,利用Petri网的标准分析技术(代数分析技术、图分析技术)便可以分析和验证工作流模型.最后,从BPR的生命周期与WfMS应用的生命周期的角度进行对比分析,揭示出工作流技术是支持BPR的有效手段.在BPR的过程建模阶段,利用CPWF-net对经营过程建模,不但可以很好的描述经营过程的不确定性、并发性和资源共享问题,而且可以解决模型中的冲突、死锁等问题.
其他文献
移动Ad hoc网络是一种由无线移动主机/节点组成的动态自治网络,具有不需要使用固定基础设施的特性.可以用于没有无线设施存在或出于费用和安全方面的考虑不方便设置无线设施
进入二十一世纪以来，信息技术以更加迅猛的速度飞速的向前发展，软件产品在社会各个领域的应用也越来越广泛，软件产品的质量自然成为人们共同关注的焦点。不论软件的生产者还是软
基于内容的图像检索技术（CBIR），是计算机视觉领域的一个研究热点。传统的基于内容的图像检索方法，提取图像的颜色、形状和纹理等底层特征来建立索引，并进行图像检索。但是，这种基于
多示例学习起源于对药物活性预测问题的研究，由于其具有独特的性质和广泛的适用性，目前被认为是与监督学习、非监督学习以及强化学习并列的一种新型机器学习框架。本文针对多示
无线数控手持设备采用工业级无线通信技术取代线缆，具有低成本、易扩展、移动灵活、操作简便等传统有线手持设备无可比拟的诸多优势。ZigBee技术，不同于传统的红外、蓝牙，是专门
装备操作训练是部队院校的一项重要教学任务，长期以来受实装数量的制约，装备操作训练如何实施的问题一直没有从根本上解决，尤其是新装备，院校装备少，甚至没有实装。采用模拟器解决
随着计算机技术和网络技术的发展和应用，推行金融办公自动化以提高管理透明度和管理效率已成为当前我国金融领域的一项重要工作。江苏省农村信用社目前各项业务发展非常迅速，但
随着电子商务和电子政务的推广和深入,工作流技术已成为该领域的主流技术,工作流管理的主要目标是通过调用有关的信息资源和人力资源来协调业务过程中的各个环节,使之按照一
Web服务,作为现有技术的革新(而非革命)无疑成为目前应用环境中最为科学、合理的解决方案之一.但就其本质而言,Web服务实际上还是request-respond的被动形式,随着网络智能化
野外地质场景的多媒体信息资源对于地质科学的研究和学习,是非常宝贵的参考资料.其中那些经过时间、空间的变化,自然的或人为的破坏,而使得有些地质资源不复存在的地质场景的