| ECA规则的模型和行为特定理论 |
| |
| 引用本文： | 姜跃平,汪卫,施伯乐,董继润.ECA规则的模型和行为特定理论[J].软件学报,1997,8(3):190-196. |
| |
| 作者姓名： | 姜跃平 汪卫 施伯乐 董继润 |
| |
| 作者单位： | 复旦大学计算机系,上海,200433;复旦大学计算机系,上海,200433;复旦大学计算机系,上海,200433;山东大学计算机系,济南,250100 |
| |
| 基金项目： | 本文研究得到国家自然科学基金资助. |
| |
| 摘 要： | 本文给出了ＥＣＡ规则系统的一般性模型，通过扩展系统状态和改变的定义，形式化地描述了规则处理的语义，并着重研究规则系统的行为特征（可终止性和行为一致性）．文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础.
|
| 关 键 词： | 数据库 主动 规则 模型 语义 行为 |
| 修稿时间： | 1996/3/18 0:00:00 |
MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES |
| |
| JIANG Yueping,WANG Wei,SHI Baile and DONG Jirun.MODEL AND BEHAVIORAL DETERMINISM THEORY FOR ECA RULES[J].Journal of Software,1997,8(3):190-196. |
| |
| Authors: | JIANG Yueping WANG Wei SHI Baile and DONG Jirun |
| |
| Affiliation: | JIANG Yueping\ WANG Wei\ SHI Baile(Department of Computer Science\ Fudan University\ Shanghai\ 200433)DONG Jirun(Department of Computer Science\ Shandong University\ Ji'nan\ 250100) |
| |
| Abstract: | 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. |
| |
| Keywords: | Database active rule model semantics behavior |
| 本文献已被 CNKI 维普 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
