主动数据库中基于图的规则的指称语义研究

1 引言主动数据库的主动特性一般使用E-C-A(Event-Condi-tion-Action)规则模型描述。我们用CA规则表示ECA规则模型中的Condition和Action部分,ECA规则语言的语义可描述为:事件E的发生可触发CA规则的执行,该CA规则的执行又可导致其它事件的发生,进而触发其它CA规则的执行,形成触发规则集。主动规则源于人工智能的知识表示的产生式系统(OPS5),许多主动数据库规则系统的执行语义均源于OPS5产生式规则语言的recognize-act cycle算法(如图     

一种支持访问控制的用户界面设计模型*

针对传统界面设计方法不能很好地支持多用户访问控制建模的缺点,提出一个面向多用户访问控制的用户界面ACUI（access control user interface）模型。该模型在传统界面设计模型的基础上,引入了RBAC（role based access control）机制,通过对用户模型中的角色及用例进行形式化分析,并根据内部模型中描述的界面构成元素及其交互关系,在用户界面模型中给出了针对不同角色的界面展示规则和界面布局树,最终实现了界面代码的自动生成。实验证明,该模型能很好地指导多用户权限访问控制     

主动数据库的模型及实现途径

介绍了主动数据库系统的模型,ＥＣＡ规则和事件模型及实现途径,并讨论了在关系模式下主动数据库系统的基本框架和事件机制的优化策略。     

主动数据库技术在控制系统规则库方面的应用研究

讨论并分析了建立水下无人潜器(AUV)自主运动控制规则库的必要性和重要性及可行性。指出主动机制是主动数据库的一个重要功能．采用事件一条件一动作的规则来实现其主动功能。就控制系统的事件．动作特点提出控制规则数据库设计方案。解决了自主控制系统中控制规则单一的瓶颈问题。最后．对主动控制规则库的实现技术进行了讨论并提出了相应的解决方案。     

基于ECA规则的网络协同设计动态数据交换技术研究*

动态数据交换是实现网络协同设计的关键技术,但是如果在协同设计中每一步的设计信息都进行实时交换,那必然在动态数据交换中包含了不必要的数据。为了解决这个问题,提出基于ECA规则的动态数据交换技术,并建立了应用该技术的网络协同设计系统框架结构。该技术通过应用主动数据库中的ECA规则监控几何图形的变换矩阵来识别模型实体数据的更新,并只传输满足条件的更新数据给STEP动态数据交换进行数据转换,从而减少数据信息的网络传输量以及在更新数据中降低不必要数据产生的可能性。另外,应用一个基于锁的并发控制机制来解决多用户的交互冲突。最后通过建立跨平台网络协同设计原型系统(CISCD)验证动态数据交换技术的有效性。     

主动数据仓库规则模型及其相关语法的研究

主动数据库的简单规则形式不符合主动数据仓库(ADW)的决策特点,而基于ADW的分析规则在交互性、精确性、表达能力和扩展性等方面存在不足.根据ADW规则渐进分析分布决策的特点,结合ECA规则形式,定义了一种主动多维分析规则模型及相应语法(AMAR)作为ADW规则的表述和执行方式.AMAR不仅可以应对ADW规则的诸多挑战,还提供了对立方体、事件、规则,结果之间复杂对应关系的支持,同时具备了更好的可维护性和可执行性.     

大规模分布式虚拟环境中一种基于事件模型的快速路由机制

在大规模分布式虚拟环境中,大量的信息交互成为影响系统可扩展性的重要因素。事件模型作为新型的通信模型,以其具有异步通信、动态性等特点在分布式系统通信中的作用日益明显。本文借鉴了主动兴趣管理思想,对基于事件模型的事件路由和事件传递技术进行了研究,提出了一种利用Filter Index结构来实现事件快速匹配及转发的路由机制。实验结果表明,该机制是可行和有效的。     

关系型主动数据库的事件模型与监测

ECA(事件一条件一动作)规则是主动数据库系统中广泛采用的主动服务机制,其荃本语义是:当事件发生时,即时地或在规定时刻检查条件是否满足,若是则即时地或在规定时刻执行规则的动作     

基于图的主动数据库E-RG规则执行模型研究

本文研究主动数据库的E－RG主动规则的执行模型。E－RG主规则包含由CA规则间基本时序关系导出控制结构，是一种高层次的主动规则。它既支持CA规则的并发执行，又易于规范规则集的行为特性。E－RG主动规则的执行需要扩展的嵌套事务模型，我们已经使用一种形式框架准确，完整地刻画该事务模型。本文依据扩展的嵌套事务模型的正确性准则，给出正确实现并发的嵌套事务原子性和隔离性的锁规则，并使用一种调度算法保证主动规则E－RG中所包含的时序语义。     

AFDB的设计与实现

主动模糊数据库系统(AFDBS),是由规则库(FEB)及相应的模糊事件监视器(FEM)、触发器评价器(TJ)、事件处理器(EP)组成.其中模糊规则库(FEB)由系统或用户定义的各种模糊事件驱动的模糊规则(模糊ECA)组成.论述了主动模糊数据库的组成及相关理论,着重点为模糊ECA规则的执行,包括执行模式、执行方式、规则冲突解决.给出了设计实例,设计实例主要实现主动模糊数据库中模糊数据的定义、存储、录入以及模糊数据库的主动响应.     

基于ECA规则和活动分解的工作流模型

企业在面临电子商务的挑战中,越来越重视业务过程重组.建立一种合理的流程模型是成功开展BPR(business process re-engineering)的关键.这样的模型应该可以集成企业许多业务相关的信息并且是可被系统解释执行的.在参考WfMC(workflow management coalition)元模型基础上建立了一种基于ECA(event-condition-action)规则和活动分解的工作流模型.ECA规则反映活动之间的执行依赖关系,通过重写办法把ECA模型变为触发器形式的TA(trig     

ECA规则在工作流管理系统中的应用

针对工作流管理系统的实现复杂性及模型可靠性的验证问题,提出了一种结合工作流网和ECA规则来创建工作流管理系统的方法。这种基于ECA规则的工作流描述和执行机制较好地实现了工作流网模型的语义描述和控制的统一。通过建立基于ECA规则的工作流描述表,将ECA 规则引入到工作流路由机制中,灵活地控制了工作流的流程。通过事件触发和消息处理机制,工作流描述表处理可以被实际系统加以执行和控制。     

Specifying timing constraints and composite events: an application in the design of electronic brokerages

Increasingly, business applications need to capture consumers' complex preferences interactively and monitor those preferences by translating them into event-condition-action (ECA) rules and syntactically correct processing specification. An expressive event model to specify primitive and composite events that may involve timing constraints among events is critical to such applications. Relying on the work done in active databases and real-time systems, this research proposes a new composite event model based on real-time logic (RTL). The proposed event model does not require fixed event consumption policies and allows the users to represent the exact correlation of event instances in defining composite events. It also supports a wide-range of domain-specific temporal events and constraints, such as future events, time-constrained events, and relative events. This event model is validated within an electronic brokerage architecture that unbundles the required functionalities into three separable components - business rule manager, ECA rule manager, and event monitor - with well-defined interfaces. A proof-of-concept prototype was implemented in the Java programming language to demonstrate the expressiveness of the event model and the feasibility of the architecture. The performance of the composite event monitor was evaluated by varying the number of rules, event arrival rates, and type of composite events.     

移动数据库中的事件及描述

在移动计算环境中,移动主机具有移动性,移动主机与无线网络的连接状态具有多样性.这些特性要求服务于移动主机的移动数据库系统作出反应和相应的处理.在建立一个主动数据库ECA(event condition action)规则系统模型的基础上,对各种移动事件进行定义,给出了事件的时态逻辑描述,为主动数据库的事件触发提供了新的事件空间,为移动数据库系统的主动处理提供了有效的支持.     

基于主动对象的全局Web工作流系统

在分布式主动对象的基础上给出了在一个World Wide Web上实现的全局工作流系统.首先根据Internet应用环境的特点与要求,对主动数据库中的ECA模型进行了时间和空间上的扩充,从而解决了主动对象在分布式环境下的时域和空域相关问题.其次,采用任务层次分解的方法建立起主动对象控制的工作流管理模型.最后,在相关模型和分布事件通信模式的基础上,给出了World Wide Web上的基于主动对象的全局工作流系统结构及其应用.     

基于扩展ECA的分布式工作流研究与应用

介绍了事件驱动的分布式工作流技术,将ECA规则在时间上进行了扩展,解决了其在描述与时间相关的复杂过程时能力不足的问题,将事件重写为事件发生时刻,使事件表达式具有更强的表达能力。将该技术应用于集装箱物流信息系统的设计,建立了整个集装箱物流的工作流程,并结合具体业务流程对实现过程作了简要描述。     

基于情景分析的ECA规则提取方法研究

事件条件动作(ECA)规则的提取方法难以规范化,导致其生成过程过于复杂。为此,提出一种基于情景分析的ECA规则提取方法。定义ECA规则中事件、条件和动作的模板规范以及ECA规则的语法结构,采用情景分析法进行研究分析,并做一致性检测。实例分析结果表明,该方法能规范ECA规则的提取过程,保证ECA规则的准确性。     

基于ECA规则的工作流过程建模

本文介绍了以树型结构定义工作流过程模型的方法和步骤,并根据节点之间事件、状态的依赖关系导出相应的ECA规则,阐述了如何得到和实现以ECA规则表示的工作流过程模型建立一个基于事件触发规则的工作流执行过程.     

ECA rule-based support for workflows

The use of event–condition–action (ECA) rules has transformed database systems from passive query-based data repositories to active sources of information delivery. In a similar fashion, ECA rules can be used to benefit workflow systems. In this paper, a software framework known as STEP workflow management facility is proposed in order to manage collaborative and distributed workflows and to provide interfaces to object management group-compliant product data management systems. Issues related to implementation using open standards such as CORBA are discussed. A key point underlying the framework is the flexibility it affords to users to re-configure the system according to evolving needs in collaborative product development.