工作流校验论文_许可

导读:本文包含了工作流校验论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:工作流,模型,广义,敏捷,规则,过程,论文。

工作流校验论文文献综述

许可^[1]（2007）在《一种企业工作流过程模型及其校验》一文中研究指出工作流技术作为面向流程的管理技术，可以为企业带来智能化、高效性、可控性和灵活性。越来越多的企业正在扩展对工作流技术的应用，以优化其TQCS(时间、质量、成本和服务)。工作流过程模型又是工作流技术的核心，过程模型的好坏将直接影响到从建模到运行的各个阶段。本文首先对工作流技术，尤其是工作流过程模型的研究现状和实现程度作了详细的介绍，总结出现有工作流过程模型研究和实现存在的问题，以及理论发展与企业实际需求的偏差。分析出企业的工作流模型应该要考虑叁个方面的需求：用户、企业和工作流引擎。于是，本文将整个过程模型Exd_P分成叁个层面：图形、XML和ECA，分别应对用户、企业和引擎的各自需求。从XPDL着手，向上扩展图形元素，为用户提供建模实体和模型校验对象；向下映射为ECA规则，便于引擎执行和流程的动态更改；由于过程模型本身没有改变XPDL的核心内容，因此仍然符合WFMC规范，支持交互。参与者是过程模型除活动和变迁外的另一重要元素，WFMC元模型只支持参与人对少数几个实体进行引用，而本模型通过增加各类引用类型，扩展了参与人的引用，增强了参与人设置和选取的灵活性，并对扩展后在实际运行中出现的问题和冗余给出了描述和处理方法。最后，本文提出了基于图搜索的方法校验过程模型连接是否正确，并且提出平面环相关概念，采用基于平面环和图规约结合的方法对过程模型逻辑结构正确性进行校验。通过在企业的调研，本文提出的过程模型得到了实践，表现出较好的灵活性和交互性；连接正确性校验方法非常实用，逻辑正确性校验方法针对比较规范且不太复杂的过程模型也是很有用的。(本文来源于《中南大学》期刊2007-05-01）

幸研,易红,汤文成^[2]（2002）在《制造系统工作流设计的校验和性能分析方法》一文中研究指出基于广义随机Petri网提出了对工作流的流程和资源角色分配的转化规则 .在此基础上 ,得出了在虚拟企业中 ,重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是 :安全、活性和标记守恒 .对制造系统重组变化性能的定量分析 ,可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价 ,它为敏捷化快速重组优化找到了有效的手段 .最后 ,通过实例说明了判定和分析的一般步骤 .(本文来源于《西安交通大学学报》期刊2002年03期）

工作流校验论文开题报告

（1）论文研究背景及目的

此处内容要求：

首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。

写法范例：

基于广义随机Petri网提出了对工作流的流程和资源角色分配的转化规则 .在此基础上 ,得出了在虚拟企业中 ,重组流程、资源和角色的网模型正确性和稳定性应该具备的条件是 :安全、活性和标记守恒 .对制造系统重组变化性能的定量分析 ,可以通过对工作流转化的广义随机Petri网的稳定状态概率进行模拟计算和评价 ,它为敏捷化快速重组优化找到了有效的手段 .最后 ,通过实例说明了判定和分析的一般步骤 .

（2）本文研究方法

调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。

实证研究法：依据现有的科学理论和实践的需要提出设计。

定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。

定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。

跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。

模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。