| 摘要 | 第1-5页 |
| Abstract | 第5-10页 |
| Chapter 1 Introduction | 第10-18页 |
| ·Background | 第10-11页 |
| ·Related work | 第11-18页 |
| ·The elementary knowledge of IEM | 第12-13页 |
| ·UML | 第13-14页 |
| ·Petri NET | 第14-15页 |
| ·XML Schema | 第15-16页 |
| ·Ontology | 第16页 |
| ·Fundamentals of Compiling | 第16-17页 |
| ·The other inconsistency checking approaches | 第17-18页 |
| Chapter 2 IEM Model Inconsistency Analysis | 第18-29页 |
| ·What are the IEM Model inconsistencies | 第18-23页 |
| ·Well-formedness inconsistency | 第18-20页 |
| ·Semantic inconsistency | 第20-22页 |
| ·Customize inconsistency | 第22-23页 |
| ·Research schedule and Implement approach | 第23-29页 |
| ·Research schedule | 第23-24页 |
| ·Implement approach | 第24-28页 |
| ·Conditions Needed for Implementation of the Scheme | 第28-29页 |
| Chapter 3 Evaluation Application Design | 第29-68页 |
| ·IEM Model information abstraction | 第29-34页 |
| ·Entire model information storage data structure | 第29-30页 |
| ·Data structure for different category of model element | 第30-34页 |
| ·Traversal approach for IEM model | 第34-36页 |
| ·Traversal of the model strata | 第34-35页 |
| ·Traversal of the graph in each layer | 第35-36页 |
| ·Approach for evaluation process | 第36-62页 |
| ·Well-formedness inconsistency | 第36-39页 |
| ·Semantic inconsistency | 第39-47页 |
| ·Customize inconsistency | 第47-56页 |
| ·Path discovery between nodes | 第56-62页 |
| ·Customize rule definition | 第62-68页 |
| ·Subjects and Objects of Ontology Description Categorization | 第63页 |
| ·Predicates Abstraction | 第63-64页 |
| ·Logic Operator Symbol | 第64页 |
| ·Prototype of the Ontology Description | 第64-66页 |
| ·Design of Customize Rule Definition System | 第66-68页 |
| Chapter 4 Application Implementation | 第68-72页 |
| ·Class diagram of the application | 第68-69页 |
| ·Sequence diagram of application | 第69-72页 |
| ·Sequence diagram for model information abstraction | 第69页 |
| ·Sequence diagram for inconsistency checking | 第69-70页 |
| ·Sequence diagram for rule information loading | 第70-71页 |
| ·Sequence diagram for customize rule definition | 第71-72页 |
| Chapter 5 Case study of IEM model correctness evaluation tool | 第72-80页 |
| ·Case study of evaluation process | 第72-76页 |
| ·Case study of Customize rule definition | 第76-80页 |
| Conclusion | 第80-81页 |
| References | 第81-84页 |
| 详细摘要 | 第84-89页 |
| Acknowledgement | 第89-90页 |
| Resume | 第90-92页 |
