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.
| Identifer | oai:union.ndltd.org:ETSU/oai:dc.etsu.edu:etd-1824 |
| Date | 04 May 2002 |
| Creators | Greer, Judy Dawn |
| Publisher | Digital Commons @ East Tennessee State University |
| Source Sets | East Tennessee State University |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | Electronic Theses and Dissertations |
| Rights | Copyright by the authors. |
Page generated in 0.1358 seconds