基于ECA规则的工作流建模实施方案

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复，并发等成熟的技术进行建模，但ECA难于形式化，使得建模时不能够保证工作流系统的语义的正确性；而Petri网具有形式化描述的基础和正确性分析的优点，将这两方面结合起来，通过对Petri网中控制流结构的分析人出了由Petri网向ECA规则转化的方法，以保证基于ECA规则的工作流系统的正确性。     

基于时间戳的企业时态化建模及应用

为了支持企业历史信息等与时间特征相关的建模,提出了在现有企业建模过程中引入基于时间戳的时态化扩展建模,其中包括对象属性、对象、对象间关系的快照化和时态化等概念及其形式化定义,并在UML基础上构建了一种时态化扩展的图形化表示.最后还分析了模型中时间戳的特殊语义及其实现策略.     

基于ECA规则推理的故障诊断技术

为适应故障诊断系统的主动性需求,扩展基于产生式规则专家系统的描述能力,将Event-condition-action(ECA)规则引入故障诊断系统,提出了基于ECA规则推理故障诊断系统的基本框架。形式化故障,分析故障要素与规则的关联,定义利用ECA规则对故障进行建模的方法,在此基础上阐述了基于ECA规则推理进行故障诊断的过程。以高速列车地面故障诊断系统为例验证了该设计的有效性与准确性。     

基于对象时态稳定性分类特征的双时态ER模型

对双时态数据库建模时以客观事物的时态特征为切入点,定义有关时态表示的双时态点、双时态组合集和双时态标签,通过分析客观对象的时态稳定性,将其划分为时态值稳定对象和时态值变对象。参照数据库概念结构设计基本方法,给出一种基于对象时态稳定性分类特征的双时态ER模型,并定义了相关的基本图元及建立规则,该模型可有效减少因模式中存在大量与时态无关属性而造成的数据冗余现象。最后给出该模型与应用较为普遍的BCDM模型相互转化的方法,使其具有推广应用价值。     

基于业务行为与业务对象约束的业务规则研究

研究了一类基于业务行为与业务对象约束的业务规则。从业务需求的复杂业务规则出发，探讨了这类复杂业务规则的含义，以及业务行为和业务对象、业务约束的关系。在此基础上，对此类业务规则提出了一种形式化描述。提出了此类业务规则驱动的面向对象建模方法。实例表明，该方法较好地解决了由于类之间关系改变使得应用程序频繁变化的问题。     

从工作流网向ECA规则的转换

基于ECA规则的工作流系统能够充分利用数据库的安全、恢复、并发等方面的成熟的技术，因而目前已被广泛应用．但ECA规则难于形式化描述的特性，使得在工作流建模时．不能够保证工作流系统的语义的正确性；而Petri网具有形式化的描述的基础和正确性分析的优点；拳文将这两方面结合起来，对基于Petri网的工作流网中控制流结构的分析给出了由Petri网向ECA规则转化的方法．通过Petri网的形式化的验证后的ECA规则的转化，可以保证基于ECA规则的工作流系统的正确性．     

基于ECA规则约束有向图的工作流建模

将工作流模型划分为三部分:过程模型、数据模型和组织模型.通过ECA规则与有向图相结合对工作流进行过程建模,利用有向图直观地表述流程的走向,工作流引擎通过对ECA规则的解释导航流程;给出了数据模型中数据对象的形式化定义;在组织模型中对RBAC模型进行改进,解决其在细粒度权限控制上的不足.设计了模型在J2EE下的部署结构.     

时态数据库时间轴的动态逻辑模型

尽管在1994年,Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的,但是仍需要通过对时间轴的公理化建模,利用公理化系统的可靠和完全等性质对时间轴作“细精度”的语义刻画.只有这样才能准确地在数据库中反映时间和时间属性的本质特点,并应用于与时间轴模型直接相关的时态查询语言.因此,从分析时间轴的性质出发,对时间轴的序关系和谓词逻辑性质进行了研究和阐述.随后分别用经典的时态逻辑Tense Logic和动态逻辑对时态数据库的时间轴进行了公理化建模,这样刻画的目的是为了“细精度”地体现时间轴的特点,并借助逻辑的方法对其分析.在TDB(temporal database)时间轴的动态逻辑建模部分,相对于原时态逻辑系统较为静态,着重处理了时间的动态性,并参照了Tense Logic中的Lin.Z系统,将其转化为动态Lin.Z系统,在其中添加了参数化处理.该参数化的处理是基于动作执行的,主要工作在动作指数的数值化和函数化两个方面,其结果体现了时态数据库中规则生存周期和“Now”节点的一些特点以及知识表达和解决方法,研究结果将对后续时态知识表达和时态数据库查询语言的研究起到积极的作用.     

工作流异常处理技术与方法

首先介绍了工作流异常处理的体系结构,然后详细介绍了异常处理在流程建模中的描述方式和异常处理的四个基本方法：事务特性与程序设计结合法、知识库法、ECA规则法和工作流进化法。最后展望了工作流异常处理的未来发展方向。     

主动数据库规则集的Petri网建模

讨论了利用Petri网作为建模工具对主动数据库中ECA规则集的建模问题.建立了存储ECA规则状态的Pelri网子网结构,用此子网可构造出单奈规则的Petri网结构,再由单条规则的Petri网构造整个规则集的Petri网模型.结果表明,用Petri网建模能准确地表达主动数据库规则集的语义,并且有利于进一步分析规则集的动态行为特征.     

主动的面向对象数据库管理系统中的事件和规则的设计

文中描述了事件－条件－动作（ＥＣＡ）规则的设计以支持ＯＯＤＢＭＳ中的主动能力，并描述了在Ｃ＋＋环境中的具体形式．它支持除了传统的数据库事件外的时序的、显式的、复合的事件．并引入了一组运算符来构造复合事件．还引入了事件接口的概念，这种事件接口被用作说明跨越几个对象或不同类的对象的事件，检测和通知事件的出现．提出了反应对象和可通知对象的概念，将事件和规则都统一为对象．还引入了在规则和对象间的订购机制以监视所选择的对象．     

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

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

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.     

Automatic control of workflow processes using ECA rules

Changes in recent business environments have created the necessity for a more efficient and effective business process management. The workflow management system is software that assists in defining business processes as well as automatically controlling the execution of the processes. We propose a new approach to the automatic execution of business processes using event-condition-action (ECA) rules that can be automatically triggered by an active database. First of all, we propose the concept of blocks that can classify process flows into several patterns. A block is a minimal unit that can specify the behaviors represented in a process model. An algorithm is developed to detect blocks from a process definition network and transform it into a hierarchical tree model. The behaviors in each block type are modeled using ACTA formalism. This provides a theoretical basis from which ECA rules are identified. The proposed ECA rule-based approach shows that it is possible to execute the workflow using the active capability of database without users' intervention. The operation of the proposed methods is illustrated through an example process.     

SynchRuler: a rule-based flexible synchronization model with model checking

Flexible synchronization models cannot provide a proper way of managing user interactions that change the course of a presentation. In this paper, we present a flexible synchronization model, termed SynchRuler, which allows such user interactions including backward and skip. The synchronization rules, which are based on event-condition-action (ECA) rules, are maintained to handle relationships among streams in SynchRuler. The synchronization rules are manipulated by the receiver-controller-actor (RCA) scheme, where receivers, controllers, and actors are objects to receive events, to check conditions, and to execute actions, respectively. The verification of a multimedia presentation specification is performed with the synchronization model. The correctness of the model and the presentation is controlled with a technique called model checking. Model checker PROMELA/SPIN tool is used for automatic verification of the correctness of LTL (linear temporal logic) formulas.     

基于多代理的敏捷供应链管理研究

从系统的体系结构出发，建立了基于多代理的敏捷供应链管理模型。利用软件agent负责具体的信息和事务处理，通过ECA规则调度多代理的执行。该管理模型为供应链管理系统提供了快速重构和动态扩展的方法。     

柔性工作流动态行为建模方法

针对现有工作流动态行为建模柔性差的问题，研究工作流动态行为的柔性定义方法。将活动的动态行为分为自身行为、嵌套行为和协作行为。自身行为实际上是活动的状态转移的过程，通过ECA规则描述活动的状态转移图可实现自身行为的定义；活动间协作行为实质上是参与活动间状态变化关联的过程，通过定义活动间状态的关联关系并用ECA规则描述协作语义，可实现对嵌套和协作行为的细粒度柔性定义。文中提出的可扩展方法适用于复杂或特殊环境下的流程建模。     

PressBase : a presentation synchronization database for distributed multimedia systems

Multimedia presentations are the basic objects of multimedia databases. Since a multimedia presentation is not an instant display of a query result, the control knowledge (or synchronization requirements) has to be incorporated into the database and necessary precautions have to be taken for a lengthy presentation. Active databases provide a mechanism for incorporation of control knowledge by using event-condition-action (ECA) rules. In this paper, we describe how multimedia synchronization can be handled within a database using ECA rules. We present a prototype presentation synchronization database, named as PressBase, for distributed multimedia systems. We have adopted one of the synchronization models, SynchRuler, and then incorporated into a relational database system.     

信息系统业务规则的设计模式

业务规则普遍存在于信息系统之中，文章对信息系统的业务对象和业务规则的特点和它们之间的关系进行了分析，并对业务规则的表现形式进行了归纳和总结，最后采用设计模式对业务规则进行了设计和处理。实践证明，该研究工作具有很强的实用性和普遍性，设计出来的系统具有灵活、健壮、可复用性强等特点。     

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

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