首页> 中文期刊> 《软件学报》 >ECA规则的模型和行为特定理论

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

         

摘要

本文给出了ECA规则系统的一般性模型,通过扩展系统状态和改变的定义,形式化地描述了规则处理的语义,并着重研究规则系统的行为特征。文中给出的形式化定义和判定方法可作为规则静态分析工具的理论基础。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号