Comparison of Inheritance Evaluation Algorithms for Express Edition 3.
- Publication Year:
- Usage 54
- Downloads 41
- Bepress 41
- Abstract Views 13
- Bepress 13
- Repository URL:
- https://dc.etsu.edu/etd/667; https://dc.etsu.edu/cgi/viewcontent.cgi?article=1824&context=etd
- 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.