基于时间Petri网的公文管理工作流模型

工作流建模是公文管理系统开发的重要课题,但以往的文献中却很少考虑公文流管理过程中的时间因素。所以结合高校公文管理工作流的实际应用环境,提出基于时间Petri网的公文管理系统工作流模型,并利用四种基本工作流模型的线性时间推理规则,对其进行时序分析,在线性时间复杂度内解决时间推理问题,用具体数据分析了公文管理工作流模型的性能。对实际公文管理系统的开发具有指导作用。     

基于生成图的工作流多过程动态 时序一致性验证方法

 提出了基于生成图的多过程动态时序一致性验证方法.首先从多过程的时间工作流网构建生成图,以图形化方式表达实例可能经过的路径和时间信息.在动态检测时,依据已经完成活动对生成图进行部分更新,再利用图中节点相关信息进行时间约束的验证.该方法可以解决资源约束情况下多过程时序一致性动态验证问题,而且能定位模型中出问题的路径,指导用户进行工作流时序异常处理或优化工作流模型;另一方面,生成图可供多个时序约束进行验证使用,具有较好的可重用性.     

基于规则的公交识别专家系统设计与实现

通过对专家系统模型的分析,详细设计了基于规则的公交识别专家系统的构造模块,并根据专家系统的目标创建了事实库和规则库.在规则库的创建中,改进了规则的线性推理机制,提出递归调用规则:利用递归调用形式的规则库实现了两站间直达、N次中转可达路径的查找问题,并实现了两站路径的最小耗费计算.最后通过Visual Prolog 7....     

一种基于时间权重的 Petri Net 工作流过程建模

为了研究 Petri Net 工作流模型的时间性能,首先给出了一种基于时间权重的工作流过程模型,此模型在变迁中引入时间,然后对此模型进行了时间性能分析,最后得出结论此模型在工作流的时间性能分析上是可行的.     

计算机应用

0323729一个基于 TWF-net 的扩展时间工作流模型及其应用[刊]/杜栓柱//计算机研究与发展.—2003,40(4).—524～530(L)时间约束是分布式企业工作流程建模中的一个重要因素。基于时间 Petri 网工作流模型(TWF-net),通过分析 TWF-net 模型不足之处,建立了一种新的时间Petri 网工作流模型——扩展时间 Petri 网工作流模型(XTWF-net),通过构建规则,可将多个 TWF-net 合并     

基于直觉模糊Petri网的知识表示和推理

针对模糊Petri网存在隶属度单一的问题,将直觉模糊集理论与Petri网理论相结合,构建直觉模糊Petri网(Intuitionistic Fuzzy Petri Nets,IFPN)模型,用于知识的表示和推理.首先构建了IFPN模型,并将其应用于知识的表示,通过在模型中引入抑止转移弧,解决了否命题的表示问题.其次提出了基于矩阵运算的IFPN推理算法,通过修改变迁触发后token值的传递规则,解决了推理过程中的事实的保留问题;通过修改变迁的触发规则,抑制了变迁的重复触发.最后对推理算法进行了分析,并举例验证了提出的IFPN模型及其推理算法的可行性,结果表明IFPN是对FPN的有效扩充和发展,其对推理结果的描述更加细腻、全面.     

一种冲突证据推理的快速算法

冲突证据推理是不确定推理的一个重要研究课题。利用修正数据源对冲突证据进行有效组合的方法有很多,但是修正证据源使用的证据之间的距离公式计算量较为复杂,算法的流程也同样较为复杂,算法对时序证据的组合没有能够进行很好的研究。针对这些问题,提出一种冲突证据推理的快速算法。首先,提出一种新的证据度量公式,并对证据度量公式的有效性、计算量大小进行分析;然后,给出冲突证据快速算法的一般流程,并对流程中参数进行分析、确定;最后,对时序证据的组合规则给出一般的算法步骤,并通过算例分析,验证了算法的有效性。     

基于优先级规则的网格工作流调度

 网格资源需求的不断增长使价格成为资源进行竞争的有效手段,有向无环图DAG(Directed Acyclic Graph)表示的工作流时间费用优化问题是网格环境下一个重要问题.通常情况下,DAG应用调度属于NP-Hard问题.通过分析活动间的时序特征,给出时间耦合强度TCS (Time-dependent Coupling Strength)的定义,用于标识一个活动最大的时间耦合活动个数;将其作为优先级规则的一个重要信息和BF规则(Best Fit)结合,设计出时间耦合强度最适规则BFTCS ( Best Fit with Time-dependent Coupling Strength),用于启发式算法的改进阶段,逐步提高初始可行解的性能.模拟实验结果表明,相对现有的启发式算法,基于BFTCS规则的启发算法能获得最好的性能和较快的运行效率;最后讨论了问题参数对算法性能和效率的影响.     

基于时序约束分解的QoS感知的Web服务组合

基于时序约束的QoS感知的Web服务组合(TC-QSC)问题是在考虑时序约束的基础上寻找满足QoS约束或效用最大化的Web服务组合问题,受到了越来越多的关注.本文提出了一种时序约束分解方法,把施加于整个或部分工作流的时序约束分解为施加于每个活动的局部时序约束,从而将TC-QSC问题转换为一般的QoS感知的Web服务组合(QSC)问题,并通过过滤不满足局部时序约束的候选服务,一定程度上减小原问题的规模.这种时序约束分解过程主要依赖于工作流及其涉及的活动,而与各活动的候选服务关联不大,复杂度较低.实验测试了该方法的效果与时间开销,验证了其对于局部优选算法的必要性.     

模糊线性时序逻辑的可实现性

模糊线性时序逻辑（fuzzy linear temporal logic）被应用于刻画模糊系统的规范语言,其可实现性（realizability）用于判断满足该时序逻辑公式的开放系统模型是否存在.模糊线性时序逻辑可实现性和系统合成（synthesis）的基本思想是：给定模糊线性时序逻辑公式,判断是否存在满足该公式的系统.如果存在,则构造满足该公式的最优系统.为了检验模糊线性时序逻辑的可实现性,首先引入模糊Büchi博弈的定义,作为检验模糊线性时序逻辑公式是否可实现的模型.其次通过归约的方法,研究模糊Büchi博弈的性质（最优无记忆策略存在性.最后验证模糊线性时序逻辑的可实现性并且给出其系统合成的过程,并说明它们的时间复杂度.     

基于OWL时间本体的工作流建模与验证

提出了一种基于OWL时间本体的工作流模型,将OWL时间本体引入到工作流模型的描述中,可以方便地表示工作流中的时态信息和时态约束。在工作流管理系统中加入基于本体的规则后推理机可以检测工作流中的时态约束是否满足,同时推理机还可以自动检测工作流信息的一致性和有效性。     

An Incremental Approach to the Analysis and Transformation of Workflows Using Region Trees

The analysis of workflows in terms of structural correctness is important for ensuring the quality of workflow models. Typically, this analysis is only one step in a larger development process, followed by further transformation steps that lead from high-level models to more refined models until the workflow can finally be deployed on the underlying workflow engine of the production system. For practical and scalable applications, both analysis and transformation of workflows must be integrated to allow incremental changes of larger workflows. In this paper, we introduce the concept of a region tree (RT) for workflow models that can be used as the central data structure for both workflow analysis and workflow transformation. An RT is similar to a program structure tree and imposes a hierarchy of regions as an overlay structure onto the workflow model. It allows an incremental approach to the analysis and transformation of workflows, and thereby, significantly reduces the overhead because individual regions can be dealt with separately. The RT is built using a set of region-growing rules. The set of rules presented here is shown to be correct and complete in the sense that a workflow is region-reducible as defined through these rules if and only if it is semantically sound.     

安全工作流管理系统体系结构研究

采用多种技术集成的方法进行安全工作流管理系统体系结构研究。以工作流管理联盟提出的工作流参考模型为基础，建立一种安全工作流管理系统体系结构。引入基于数字签名的工作流安全认证机制，提出扩展的工作流访问控制模型，并定义了多级安全工作流授权规则。     

Temporal representation and reasoning for workflow in engineeringdesign change review

Workflow management, which is concerned with the coordination and control of business processes using information technology, has grown from its origins in document routing to include the automation of process logic in business process reengineering. Workflow also has a strong temporal aspect; activity sequencing, deadlines, routing conditions, and scheduling all involve the element of time. Temporal expert systems, which use knowledge-based constructs to represent and reason about time, can be used to enhance the capabilities of workflow software. This paper presents a temporal expert system workflow component for tracking engineering design changes. The authors use Allen's theory of temporal intervals in their model to enhance the decision-making, timing, and routing activities in a workflow application. They test the model using information from a “real-world” engineering design situation and suggest further research opportunities     

基于神经网络专家系统的推理研究

为了克服传统专家系统知识获取难、学习适应能力差、推理效率低等问题,许多专家提出将神经网络与规则专家系统相结合,构建基于神经网络的专家系统模型。文中设计了一种基于神经网络专家系统模型的混合推理机制,通过对基于神经网络推理算法、规则推理算法以及神经网络与规则的混合推理算法进行实验比较,证明本文提出的混合推理机制在改善专家系统推理准确率方面的有效性。     

基于组态的工作流管理系统的设计与实现

现有的工作流管理系统在企业应用中取得了巨大的成功,但是其对企业复杂的业务逻辑仍不能很好地处理和扩展。借鉴工业控制领域的组态思想,将流程的流转规则和业务逻辑分离开来,把企业具体的业务逻辑封装在独立的组件中,利用这些动态的组件结合工作流平台就可以构建出一个基本的工作流组态系统。同时提出了Flow组态语言,进一步丰富了系统的功能和提高了系统的可扩展能力。     

智能环境下基于雾计算的推理节点优化分配研究

智能环境传统的规则推理机制中，网关内布置的推理机从各种传感器中获取推理所需数据并与规则库相匹配，承担整个推理工作.本文利用Rete算法将规则构建为推理网络，并结合雾计算的概念将Rete推理节点分配至环境内配置的智能节点中协同推理以减轻网关负载，由此推理节点的分配成为关键，分配不合理将导致资源利用不平衡及响应延迟.本文利用活动影响下规则触发的规律设计了活动聚类算法CoA（Clustering of Activities）对活动聚类后分别建立其推理网络，计算出智能节点之间的最短路径后将结果代入针对其层次延迟性而设计的分配算法AAoRN（Allocation Algorithm of Rete Inference Nodes），从而将推理节点最优分配至各个智能节点.理论分析和实验结果表明，本文机制在有效利用智能节点资源的同时降低了大致55%的延迟.     

GTHBAC: A Generalized Temporal History Based Access Control Model

Time plays a crucial role in access control for new computing environments, which is not supported in traditional access control models. In this paper, we propose a Generalized Temporal History Based Access Control (GTHBAC) model, aimed at integrating history-based constraints along with a generic access control model. GTHBAC enhances the specification of user-defined authorization rules by constraining time interval and temporal expression over users’ history of accesses. Due to different application needs, GTHBAC uses two different time schemes, i.e., real time and logical time, in its authorization rules. A formal semantics for temporal authorizations is provided, and conflicting situations are also investigated and resolved in the model. To represent the applicability of the proposed model, an architecture for an access control system based on the model is proposed, and a case of employing the model in specifying and enforcing access control policies in a banking system is studied. The operators of GTHBAC are also compared with Linear Time Temporal Logic (LTL) operators to show the expressive power of the model.