Verification Of ECA Rule Based Management And Control Systems

被引：0
|
作者：
Zhang, Jing [1 ]
Moyne, James [1 ]
Tilbury, Dawn [2 ]
机构：
[1] Univ Michigan, Dept Elect Engn & Comp Sci, Ann Arbor, MI 48109 USA
[2] Univ Michigan, Dept Engn Mech, Ann Arbor, MI USA
来源：
2008 IEEE INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING, VOLS 1 AND 2 | 2008年
基金：
美国国家科学基金会;
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper, we discuss an ECA rule based management and control system and explain what the correctness of the system means and how to verify it. We also review the previous work on the verification of inference rule bases and active rule bases which are closely related, but are not generally applicable to our case.
引用
收藏
页码：1 / +
页数：2
相关论文
共 50 条
  • [1] ECA rule-based RFID data management
    Wu, Jie
    Wang, Dong
    Sheng, Huanye
    PROCEEDINGS OF THE 1ST RFID EURASIA CONFERENCE, 2007, : 138 - +
  • [2] ECA rule based agent for business process management
    Zhao, Haiyan
    Cao, Jian
    PROCEEDINGS OF 2008 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING AND CONTROL, VOLS 1 AND 2, 2008, : 1201 - +
  • [3] An ECA rule rewriting mechanism for peer data management systems
    Zhao, Dan
    Mylopoulos, John
    Kiringa, Iluju
    Kantere, Verena
    ADVANCES IN DATABASE TECHNOLOGY - EDBT 2006, 2006, 3896 : 1069 - 1078
  • [4] Coordination of ECA Rules by Verification and Control
    Cano, Julio
    Delaval, Gwenael
    Rutten, Eric
    COORDINATION MODELS AND LANGUAGES, COORDINATION 2014, 2014, 8459 : 33 - 48
  • [5] ECA rule and multi-agent based agile supply chain management
    Wang, Liang-Zhu
    Fu, Qian
    Liu, Jian-Xun
    Zhang, Shen-Sheng
    Jisuanji Jicheng Zhizao Xitong/Computer Integrated Manufacturing Systems, CIMS, 2001, 7 (11): : 11 - 15
  • [6] An ECA-rule-based workflow management approach for web services composition
    Wang, Y
    Li, ML
    Cao, J
    Tang, FL
    Chen, L
    Cao, L
    GRID AND COOPERATIVE COMPUTING - GCC 2005, PROCEEDINGS, 2005, 3795 : 143 - 148
  • [7] An ECA-based Control-rule formalism for the BPEL Process Modularization
    Ouyang, Bang
    Zhong, Farong
    Liu, Huan
    2011 2ND INTERNATIONAL CONFERENCE ON CHALLENGES IN ENVIRONMENTAL SCIENCE AND COMPUTER ENGINEERING (CESCE 2011), VOL 11, PT A, 2011, 11 : 511 - 517
  • [8] ECA Rule-based IO Agent Framework for Greenhouse Control System
    Lin Dongliang
    Zhang Kanyu
    Li Xiaojing
    PROCEEDINGS OF THE 2008 INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, 2008, : 482 - 485
  • [9] KNOWLEDGE VERIFICATION IN RULE-BASED INTELLIGENT SYSTEMS
    ZYKOVA, SA
    KOLCHIN, AF
    JOURNAL OF COMPUTER AND SYSTEMS SCIENCES INTERNATIONAL, 1994, 32 (06) : 87 - 105
  • [10] Knowledge verification of active rule-based systems
    Chavarria-Baez, Lorena
    Li, Xiaoou
    INTELLIGENT CONTROL AND AUTOMATION, 2006, 344 : 676 - 687
12345