18th IEEE Real-Time Systems Symposium: Work in Progress Sessions
نویسنده
چکیده
In {10}, we developed an efficient algorithm for optimizing a class of EQL r"ule-based systems so that they can meet sper.:ified response time eonstr·aints. In this paper, we show that this EQL optimizer with minor modifications can be ~tsed to optimize a class of real-time MRL r"ule-based systems. As a rrwr·e expressive superset of EQL, MRL allows existent-ially quantified as well as univer·.~ally quantified var·iable.~ (simple or· nuu;m), rrwking it comparable in expressive power to that of OPS5 and CLIPS (two of the most popular commercially available rule-based system languages) while maintaining pr·edictable re.~JHmse time behrwirn.
منابع مشابه
18th IEEE Real-Time Systems Symposium: Work in Progress Sessions
In this paper, we describe our current work on exploring the consistency of read-only transactions (ROT) in real-time systems. A ROT is a transaction that only reads, but does not update any data items. Since there is a significant proportion of ROTs in several real-time systems, it is important to investigate how to process ROTs efficiently with separate algorithms. We identify three different...
متن کامل