基于ECA规则的工作流时间约束分析

本文着重研究了工作流中各活动间的定量时序关系,提出了一种分析工作流中时间约束的方法。该方法针对基于ECA规则的工作流,通过建立及分析工作流的约束图,对工作流中活动间定量时序约束的一致性进行了分析,从而保证了工作流的正常运行。

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

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

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

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

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

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

基于ECA规则和动态污点分析的SQL注入攻击在线检测

SQL注入攻击是一种常见的针对Web应用程序漏洞的攻击形式。任何形式的SQL注入攻击最终都会改变原有SQL语句的逻辑结构,违背设计者的初衷。现有的SQL注入攻击检测方法存在检测代码不易被重用、不能被在线注入Web应用程序等不足。因此,提出一种基于ECA(Event Condition Action)规则和动态污点分析的在线检测SQL注入攻击的模型。首先,定义污点标记规则监视污点源函数以标记系统外部引入数据;然后,定义污点传播规则实时跟踪污点数据在应用内部的流向;接着,定义污点检查规则以拦截污点汇聚点函数的参数,并解析它可能携带的污点状态;最后,在原始的Web应用运行时加载ECA规则脚本达到在线检测SQL注入攻击的目的,Web应用无须重新编译、打包和部署。使用Byteman实现了所提模型。在两个不同的Web应用测试实验中,该模型可以识别绝大多数的SQL注入攻击样本,对于正常请求样本没有误报,检测准确率可达99.42%,优于基于支持向量机(SVM)和基于词频逆向文件频率(TF-IDF)的方法;与基于面向方面编程(AOP)的方法相比,该模型易于在Web应用启动后在线加载检测模块。实验结果表明所提模型能够在不修改应用程序执行引擎及源码的情况下,检测6种常见的SQL注入攻击类型,且具有在线检测的优点。

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

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

迁移工作流系统中的工作位置异常处理模型

针对迁移工作流异常的本地特性和工作位置的体系结构,提出一种基于事件-条件-动作(ECA)规则和案例推理(CBR)的工作位置异常处理模型。该模型采取主动检测和异常检测混合的检测技术,利用本地异常规则库实现工作位置异常处理。应用结果表明,该模型增强了不可预测异常、可预测异常的处理能力。

基于触发器机制的主动数据库模型研究

触发器是当前商用DBMS用于完整性实施和主动控制的一个主要机制。为了满足许多应用系统对数据库系统的主动性需求,提出了一种基于触发器机制的主动数据库的新模型,并且在此模型基础之上,运用了一种简单的、易于实现的方法来建立基于触发器机制的主动数据库。

面向实体的军事仿真规则提取方法研究

针对目前军事仿真系统开发中存在的军事仿真规则提取不完备的问题,在充分发挥ECA规则提取方法优势的基础上,提出了面向实体的军事仿真规则提取方法。该方法以实体状态变迁为中心,运用系统论方法,重点分析实体的环境、功能、行为、组元和结构状态,并将分析结果引入ECA规则。通过将该方法应用于装备抢修组实施抢修的规则提取中,验证了其对于提高规则的完备性与可信性具有较好的效果。

基于WF-net的工作流恢复网模型的研究

针对工作流系统中存在的异常问题,提出了一个基于WF-net和ECA规则的工作流恢复网模型,给出了模型元素与ECA规则的映射关系。模型在设计时采用WF-net结构,运行时通过预定义的操作函数动态调整工作流结构。采用基于任务的恢复策略,利用ECA规则自动处理可预测异常;考虑任务间的数据依赖,采用人工恢复策略处理不可预测异常。

策略驱动的数据交换模型

针对数据交换应用存在数据交换来源多样、交换需求多变的特点,结合策略独立于实现等特点,提出将策略应用到数据交换领域的观点,解决现有数据交换系统的不足。从应用策略最成熟的网络管理和网络安全领域出发,通过对比已有策略建模方法的优缺点和数据交换特点,确立数据交换策略模型,建立策略驱动的数据交换模型的实现框架。

用事件-条件-动作规则表示模糊知识的方法

提出了模糊触发器的概念 ,采用模糊事件、模糊条件和模糊动作来对触发器进行模糊推理 ,为在主动数据库及其应用领域表达不精确的应用语义特性提供了可行的方法 .通过一个“过热警报”的应用实例说明了模糊事件 -条件 -动作 ( ECA)

基于规则的临床路径适应性工作流引擎

研究了骨肉瘤术前化疗过程中的一些典型变异及应对措施,给出了骨肉瘤术前化疗流程的部分扩展事件-条件-动作(ECA)规则描述,设计了一个基于规则的工作流引擎,说明了引擎的结构及工作流程,并介绍了引擎核心模块的设计.实例验证结果表明,该工作流引擎的自适应机制是可行的.

一种面向临床路径的工作流过程建模方法

提出了一种基于扩展事件-条件-动作(ECA)规则的临床路径工作流建模方法,构建了骨肉瘤临床路径工作流模型.该建模方法在临床路径工作流的建立阶段力求将动态特性进行描述和定义,临床路径执行阶段针对出现的变异情况可以对已定义的模型进行自适应调整,提高了建模的柔性和适应性.最后,利用开发的可视化建模工具对一个骨肉瘤术后评估和治疗案例进行了分析验证.

主动数据库技术在冷连轧仿真系统的应用

讨论和分析了冷连轧仿真的重要性和仿真系统的主动性需求·指出主动机制是主动数据库的一个重要功能 ,即在系统运行过程中 ,当事件发生或条件变化时系统能够主动执行相应的动作或动作序列·将仿真系统的设计与主动数据库结合 ,采用事件 条件 动作的规则来实现其主动功能 ,并就仿真系统的事件、动作特点提出冷连轧仿真的主动数据库设计·最后 。

状态和数据双因素驱动的决策支持系统模型复合方法

针对决策支持系统(DSS)模型复合工程中存在着单一因素驱动方法适用范围窄、效率低以及多因素驱动方法缺乏对算法或子模型层次的逻辑关系的描述、黑盒抽象程度低等不足,提出了状态和数据双因素共同驱动的模型复合方法。该方法首先定义工作流过程模型,将DSS子模型生成为一个可移植的、逻辑独立的工作流活动,该活动内部包含了模型的求解算法,对外提供了参数接口;其次根据活动执行的依赖关系,制定相应的事件-条件-动作(ECA)规则来动态地绑定它们之间的复合关系;最后将规则转换为网络活动图,并借助自定义工作流平台进行复合。实验过程表明,该方法能解决一般性模型复合问题,具备较好的通用性及可扩展性。