Summary: Termination Analysis of OPS5 Expert Systems \Lambda
Hsiu­yen Tsai Albert Mo Kim Cheng
Department of Computer Science
University of Houston
Houston, Texas 77204­3475
Email:(hsiuyen, cheng)@cs.uh.edu
Abstract
Bounded response time is an important requirement
when rule­based expert systems are used in real­time
applications. In the case the rule­based system cannot
terminate in bounded time, we should detect the ``cul­
prit'' conditions causing the non­termination to assist
programmers in debugging. This paper describes a
novel tool which analyzes OPS5 programs to achieve
this goal. The first step is to verify that an OPS5
program can terminate in bounded time. A graphi­
cal representation of an OPS5 program is defined and
evaluated. Once the termination of the OPS5 program
is not expected, the ``culprit'' conditions are detected.
These conditions are then used to correct the problem

Source: Azevedo, Ricardo - Department of Biology and Biochemistry, University of Houston

Collections: Biology and Medicine; Environmental Sciences and Ecology