ECA规则的模型和行为特定理论  

MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES

作　　者：姜跃平[1,2] 汪卫[1,2] 施伯乐[1,2] 董继润[1,2] 

机构地区：[1]复旦大学计算机系 [2]山东大学计算机系

出　　处：《软件学报》1997年第3期190-196,共7页Journal of Software

基　　金：国家自然科学基金

摘　　要：本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．This paper introduces a generic model for ERS(ECA rule systems). By extending the definition of system state and transition, it formally describes the semantics of rule processing. It furtherly investigates the behavioral determinism of a given ECA rulebase, including termination and behavioral consistency. The relative definitions and decision criteria which are given in this paper can form the theoretical base of static analysis tools for an ERS.

关 键 词：数据库 规则模型 行为 

分 类 号：TP311.13[自动化与计算机技术—计算机软件与理论]