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

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

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

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

基于Pi演算和EECA规则的跨组织工作流建模研究

针对跨组织环境下的工作流形式化建模技术的不足问题,提出了一种基于Pi演算和EECA(Extended-ECA)规则的跨组织工作流建模方法.将ECA规则在时间上进行扩展,解决了ECA规则在描述与时间相关的复杂过程时能力不足问题.利用Pi演算技术,对跨组织的本地工作流的协同方式进行了形式化描述.分析了协同模型及其执行过程,并给出了一个应用实例验证了提出的模型具有较好的柔性,可以有效用于本地工作流间的协同工作,并且适合于对分布式协同环境下的工作流进行建模.     

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

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

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     

信息系统中业务规则与约束的时态化研究

在OCL和ECA规则的基础上，通过对业务对象与ECA规则的时态化关系的分析，提出了业务规则与约束的一种时态化扩展建模方法，该方法引入了时态化算子和时间区间等概念来实现对时态化对象和属性的历史信息的引用和时态化建模。     

基于Agent能力自信度的任务分配问题研究

借助结盟的任务分配机制是多Agent系统研究中的一个热点问题.文中通过任务需求和Agent能力的ECA规则表示,定义了一种Agent能力自信度,并给出了基于合同网协议和Agent能力自信度的任务分配算法和应用示例,其中,任务需求ECA规则中的C项表示Agent执行该任务时必须做出的付出,能力ECA规则中的C项表示Agent可以为该任务做出的承诺,付出/承诺关系揭示了Agent的能力自信度,ECA规则使得Agent能力自信度具有良好的可计算性.     

主动数据库中的实时ECA规则推理算法

许多领域的应用要求发生的事件能够得到实时的反应,这就要求应用于其中的主动数据库中的ECA规则推理过程具有实时性,能够在截止期内完成推理给出反应.现有的ECA规则推理算法均没有考虑实时性要求.为了解决这个问题,提出了一种实时ECA规则推理算法RTIAE.作为一种"任意时刻"实时算法,RTIAE算法在ECA规则的有向图结构中通过启发式搜索进行推理,在截止期内尽量给出更多的推理结果.随后,通过实验探讨了不同的参数对RTIAE算法实时性能的影响,并与深度优先算法进行了对比.实验结果显示,RTIAE算法的截止期推理成功率优于深度优先算法.     

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

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

基于事件驱动模型的集装箱物流信息系统

提出了基于约束规则集的事件驱动模型的概念，以之为基础并结合确定性有穷自动机的理论，建立了整个集装箱物流的工作流程，通过满足约束规则的事件来驱动物流和资金流的状态改变，并给出了系统的一个具体实现方案。     

基于ECA的信息发布/订阅机制研究

分布式的监控环境中,基于发布/订阅的push模式能及时地反映用户关注的最新信息,很好地满足松散通信的需要.但当订阅条件关联多条数据信息时,传统的订阅描述方法和匹配算法难以满足要求.提出了基于ECA(event-condition-action)的信息发布/订阅机制,利用ECA规则描述复杂的订阅条件,并初步研究了匹配方法.介绍了在卫星测试中该机制的设计实现及应用.     

普适计算环境下基于模糊ECA规则的访问控制方法

上下文信息是普适访问控制的关键因素,对主体授权和权限使用过程具有决定性影响。普适计算环境下,主体权限、资源访问控制强度和安全策略应随上下文的变化而动态自调节。已有访问控制模型均未考虑上下文对普适环境下访问控制的主动性影响,使得访问控制的主动性和自适应性较差。为了描述上下文对普适访问控制中主体权限、访问控制强度和安全策略的主动性影响,通过对传统ECA规则进行模糊扩展,设计了一种基于区间值模糊集合理论的模糊ECA规则模式,提出了基于模糊ECA规则模式的主动访问控制方法,使授权和访问控制自适应于普适计算环境。     

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

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

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

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

基于时间自动机的ECA规则交互问题研究

Event-Condition-Action(ECA)规则的评估和执行独立于其他规则,但规则行为间交互作用可能导致系统行为不可预测或不安全。典型的问题有规则的不一致性和终止性。针对上述问题,提出将ECA规则转换为时间自动机,对规则之间的交互进行分析。采用时间自动机验证工具UPPAAL验证规则集合是否存在交互问题。以痴呆老人智能辅助系统为例,实验结果证明了该方法的可行性和有效性。     

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

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

利用基数约束规则编程消解ECA策略冲突*

为实现ECA策略冲突的自动、灵活消解,提出一种利用基数约束规则编程的新方法。基数约束规则编程是一种基于稳态模型语义的非单调逻辑编程技术,具有解决组合及其优化问题的良好性质。先后完成了ECA策略的逻辑编程表示、用于检测和防止冲突的行动约束定义、具有组合特征的冲突性质分析和用于冲突消解的基数约束规则程序建立。该方法不仅具有逻辑严谨、自动化程度高和结构层次分明等优点,更重要的是,还扩展了被消解冲突的域。     

一种基于ECA规则的Web Service工作流模型的研究

工作流技术的深入应用要求工作流管理系统增强Web服务功能,基于Petri网工作流过程模型存在无法表述状态变迁过程或状态变迁边缘时刻事件的缺陷.给出了基于ECA规则Web Service工作流模型形式化定义,基于ECA规则的过程模型以事件推动工作流实例的执行,通过严格定义事件的语义来保证工作流的正确执行和监控并支持工作流在运行中修改实例.     

基于ECA规则的动态数据交换技术

动态数据交换是实现网络协同设计的关键技术,在协同设计中每一步的设计信息都进行实时交换必然导致在动态数据交换中包含不必要的数据。为了解决这个问题,该文提出基于ECA规则的动态数据交换技术。建立基于ECA规则的动态数据交换系统结构,并定义动态数据交换中的ECA规则和动态数据更新中事件间的基本关系。应用该技术实现了跨平台异构CAD系统之间动态数据的实时交互和一致性。