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

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

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

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

基于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)规则和案例推理(CBR)的工作位置异常处理模型。该模型采取主动检测和异常检测混合的检测技术,利用本地异常规则库实现工作位置异常处理。应用结果表明,该模型增强了不可预测异常、可预测异常的处理能力。

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

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

策略驱动的数据交换模型

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

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

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

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

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

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

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

基于ECA规则的业务流程效率实时管理方法

业务流程效率是企业业务运营管理中非常关键的性能指标之一.针对目前业务流程性能研究缺乏实时、定量分析的问题,提出了应用ECA规则监控业务流程效率的实时管理方法.从业务流程效率分析指标体系出发,给出了业务流程效率实时管理框架,构建了多维数据仓库关系模型.探讨了业务流程效率监控的ECA规则以及业务流程效率实时管理控制引擎.以某企业的服装订单合同评审业务流程为例,通过对比测评,表明采用本方法实施业务流程效率管理后,整体流程执行效率提升了10%左右,业务活动执行的平均时间减少了15%左右.