时间约束工作流模型的可调度性分析算法

针对目前工作流管理系统对时间管理支持的严重局限，提出了基于Petri网的工作流时间约束建模方法，首先，将工作流网扩展为时间约束工作流网，然后分析了工作流程的时间特性，并提出了时间约束工作流网的可调度性分析算法，研究结果表明，所提出的建模方法能全面描述工作流的时间信息，对丰富工作流系统的时间约束建模理论具有重要的参考价值。     

工作流模型时间有界性验证与分析研究

对工作流模型分析进行了层次划分后，提出了工程流模型时间有界性的问题，从完成工作流管理联盟给出的工作流图形化模型向工作流网的模型映射之后，利用绝大多数描述业务过程的工作流模型都具有自由选择性的特点，提出了一种将映射得到的自由选择工作流网分解为一组变迁组件网的分解算法，在此基础上，结合工作流模型的资源视图，详细阐述了基于Petri网理论的工作流模型时间有界性分析与验证方法。     

基于层次时间Petri网的工作流模型可达性分析方法

为了有效管理工作流,需要对工作流模型进行合理性分析与验证.为此,提出了一种基于层次时间Petri网的工作流模型,给出了从时间Petri网工作流模型转化成基于层次时间Petri网工作流模型的规则及算法.证明了任何一个能够转化成基于层次时间Petri网的时间Petri网工作流模型在物理上都是可达的.在时间方面,提出了基于层次时间Petri网工作流模型的层次时间树算法,并给出了时间可达性的静态和动态分析与验证方法.通过实例验证了该方法在工作流模型的物理、时间静态和时间动态可达性分析中的有效性.     

模糊时态工作流网的建模和时间可能性分析

现有的工作流模型中很少考虑时间不确定性,以及资源和变迁的有效时间约束问题。为此,通过对模糊时间Petri网的各个元素中引入时间约束,提出了一种工作流模型,即模糊时态工作流网,给出了该工作流网中各种时态元素的计算方法,并讨论了利用该网对工作流中的时态现象进行时间建模和时间可能性分析的方法。最后,用一个实例解释了这些方法的使用。模糊时态工作流网可以对带有时间不确定性和时间约束的工作流模型中的时态信息进行建模,并对一些典型的时间约束进行时间可能性分析。     

一种工作流模型的时间性能评估方法

在对模糊时态工作流网引入选择概率函数的基础上,提出了扩展模糊时态工作流网的工作流模型,给出其中的时态元素计算方法,以及分解扩展模糊时态工作流网的算法,并讨论了基于该分解算法的时间性能评估方法.最后,通过一个实例阐明了如何使用该时间性能评估方法.     

时间约束工作流模型的简化分析与可调度性验证

为解决复杂工作流的时间建模与可调度性验证问题,提出了将简化规则应用到Petri网工作流模型中的方法.首先,给出了时问约束Petri网的相关定义和基于此的工作流建模方法,实现了工作流模型及其时间信息建模.然后,为了对工作流网的可调度性进行验证和分析,给出了时间约束Petri网时间可调度的概念,并根据时间约束等价变换原则,提出了基于时间约束Petri网的四种基本工作流组件模型的简化规则和压缩推理方法.该方法可以对复杂的工作流模型进行简化,计算模型节点的时间参数,从而完成含有时间信息工作流结构或流程的时间建模和可调度性分析.最后,以保险索赔为例验证了所提方法的可行性.     

工作流模型可调度性验证与分析方法

实施工作流管理是支持复杂产品的设计、制造及销售等高度复杂工作流程高效运作的有效手段,而从理论上验证和分析相应工作流模型的正确性及合理性对工作流管理系统的成功实施有着重要的意义。在讨论了工作流模型在时间层次上需要考虑的各种时间约束的基础上,通过扩展时间信息到只描述过程逻辑的工作流网中来,给出了时控工作流网的概念。进而在给出了从一种包含时间信息的有向网络图到时控工作流网的模型映射方法之后,对基于时控工作流网的工作流模型可调度性验证与综合进行了详细的讨论。最后用一实例验证了其有效性。     

一种网格工作流的时间管理方法

为方便网格工作流的时间管理,提出了一个服务的时间模型,为服务内部流程自动生成一个与之具备等价时间信息的服务,进而提出了网格工作流模型.该模型将网格工作流的时间问题转化为服务的时间问题,并设计了算法,以判定能否满足网格工作流中的时间约束,计算网格工作流的最短执行时间,以及活动的最早和最晚结束时间,从而较好地实现了网格工作流的时间管理.     

时间约束层次细化工作流建模及验证研究

为降低工作流建模和验证的复杂度,提出了一种自顶向下逐步细化的建模与验证方法。首先,引入了层次细化工作流网,实现复杂工作流建模,将满足可靠性的子网,替换顶层结构中输入库所安全的子网变迁,使细化后的工作流模型自动地满足可靠性要求。为验证可调度性,提出了时间约束层次细化工作流网,给出子网与子网变迁之间的时间约束等价变换原则,可保持细化前后工作流网可调度性不变的充分条件。依此条件,分别给出了串行、并行、选择、循环4种基本组件的压缩推理规则,并在线性复杂度内解决了层次细化工作流网时间验证问题。     

支持时间管理的工作流元模型与系统实现

分析了时间管理对工作流模型和工作流系统功能的需求，基于元建模技术提出了一种符合MOF规范的工作流时间元模型，设计了支持时间管理的工作流系统框架，按照该框架开发了工作流原型系统，该系统在工程项目的实际应用中取得了良好的效果。     

面向制造过程的工作流建模

分析了物料清单 (BOM)在产品制造过程中的核心地位 ,并根据工作流的建模模型 ,提出了将BOM表映射成Petri网的算法 ,利用所得到的Petri网建立了面向制造过程的工作流管理系统的过程模型。从而允许设计者仅根据产品的结构 ,而不需要知道实际的过程流程来自动地安排和执行生产任务。     

工作流数据的一致性保护框架

目前的工作流系统普遍缺乏保证工作流事务特性的措施，这是影响工作流系统进一步普及与实用化的一个重要原因。本文提出了一种以工作流数据为核心的数据一致性保护框架，包括对工作流控制数据的失败处理模式，对工作流相关数据的多版本管理机制和对工作流应用数据的加锁协议等，从而全面保证各类工作流数据的一致性，使工作流程系统具备较为实用的事务处理能力。     

工作流服务品质评价模型研究

最近，工作流管理系统已广泛用于各种商业过程。在商业运作过程中，买卖双方签订协议或合同，规定具体的服务品质项目，如交货期、最后交货日期、产品品质和服务费用。要想在当今的市场环境里经营取得成功，需要对承诺的服务进行很好的管理，以确保提供高品质的服务。当组织的产品或服务由工作流程创建或管理时，那么使用的工作流管理系统就必须根据合同或协议的规定，预测、监视、控制提供给顾客服务的品质。为达成这个目标，首先要建立一个评价工作流服务品质的模型，然后开发相应的方法计算工作流的服务品质。     

轿车声学建模的统计能量法

针对高频域的声场，提出了基于能量理论的等效声源法对轿车的发动机室进行声场建模，采用统计能量法(SEA)理论对发动机室、发动机室底板及底板与地面空间系统进行声场建模和仿真。该方法简单、实用，利于工程应用。能很好地解释系统的声场物理特性。     

Analysis of Process Models: A Fuzzy Logic Approach

Process modelling tools, such as the Integrated DEFinition (IDEF) methodology, allow for a systematic and a well-defined representation of processes, e.g. manufacturing, product development, and business. The most frequently recognised short-coming of process modelling is the lack of analysis tools. Owing to the qualitative and static nature of models, mathematical techniques are difficult to apply. To make the process modelling methodologies more attractive, formal techniques for analysis of process models are required. In this paper, an analysis approach for process models, based on fuzzy logic and approximate rule-based reasoning, is presented. Possibility distributions are used to represent uncertain and incomplete information of process variables. An approximate rule based reasoning approach is developed for quantitative analysis of process models. The effectiveness of the approach is illustrated with an industrial example. The architecture of an expert system for the quantitative analysis of process models is also outlined.     

基于本体的制造网格服务自动链接

研究了一种基于本体、面向服务功能自动生成制造网格工作流构架的方法。制造网格本体采用制造领域本体与网格服务本体集成的方法来构建，前者由STEP集成资源、TOVE、PSL以正交方式分别实现产品、企业和制造过程子本体，后者通过扩展Web服务本体OWL—S实现。服务功能采用基于制造对象特征的输入、输出和基于制造任务的前提条件、效果组成的四元组建模，使用制造网格本体描述。在此基础上，提出了一种服务正向递进自动链接算法，它能够依据用户指定的输入和前提条件选择并链接服务，最终达到用户指定的输出和效果。通过一个原型系统和实例验证了方法的有效性，实验结果表明算法具有良好的性能。