Degree Name

MS (Master of Science)


Computer and Information Science

Date of Award


Committee Chair or Co-Chairs

Donald B. Sanderson

Committee Members

James Pleasant, Terry Countermine


Information exchanged between computer applications is difficult, thus the need for data exchange standards. The ISO STEP project defines data exchange standards using the EXPRESS language, which supports inheritance. Currently there are two algorithms used to evaluate an inheritance hierarchy: the Test and Generate algorithms. In this thesis, enhancements are made to both algorithms to support the Total Over Constraint, which is proposed for the third edition of EXPRESS. A formal algorithm is derived for the Test algorithm. The two enhanced algorithms are compared and shown to be result equivalent. However, it is shown that the Test algorithm is the more efficient of the two.

Document Type

Thesis - unrestricted


Copyright by the authors.