Comparison of Inheritance Evaluation Algorithms for Express Edition 3.

Publication Year:
Usage 54
Downloads 41
Abstract Views 13
Repository URL:;
Greer, Judy Dawn
Inheritance Hierarchy; Algorithms; EXPRESS; Computer Sciences; Physical Sciences and Mathematics
thesis / dissertation description
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.