Browse Prior Art Database

Method to Abstract Conditional Expression Using Dictionary

IP.com Disclosure Number: IPCOM000112371D
Original Publication Date: 1994-May-01
Included in the Prior Art Database: 2005-Mar-27
Document File: 2 page(s) / 49K

Publishing Venue

IBM

Related People

Ohkado, A: AUTHOR

Abstract

A program is disclosed that abstracts the conditional expression using the triples of . For example, using the triple of , the conditional expression "FILE-STATUS-SW = 3" is abstracted to "End of file reached".

This text was extracted from an ASCII text file.
This is the abbreviated version, containing approximately 70% of the total text.

Method to Abstract Conditional Expression Using Dictionary

      A program is disclosed that abstracts the conditional
expression using the triples of <variable name, value, meaning>.  For
example, using the triple of <FILE-STATUS-SW, 3, End of file
reached>, the conditional expression "FILE-STATUS-SW = 3" is
abstracted to "End of file reached".

      This program takes 1) Triples and 2) Parsed tree structure of
conditional expression as input, and produces the abstract expression
of the input conditional expression.  The type of the variable must
be one of Boolean, integer, or enumerated.  The operator used in
conditional expression must be either logical (NOT, AND, OR, XOR) or
equivalence (equal, Not equal).

      The Figure shows the example of this method.  The conditional
expression (1) is transformed into tree structure (2) by the syntax
parser and used as an input.  The program also takes triples (3) as
input.

      First, program determines the operator is AND and expression is
binomial.  The method is applied to both terms recursively.

      For the first term (4) the program determines the operator is
equivalence, and 2nd term is not the variable.  Program searches for
the triples with FILE-STATUS-SW as the first element.  Triple (3-1)
is found and 2nd element matches to the 2nd term of expression.
Program returns the 3rd element of triple 3-1 for the first term of
original expression.

      For the second term (5), the operato...