| 摘要 | 第1-5页 |
| Abstract | 第5-6页 |
| Content | 第6-10页 |
| CHAPTER 1 THE PURPOSE AND SIGNIFICANCE | 第10-22页 |
| ·BACKGROUND | 第10-11页 |
| ·STATE OF ART | 第11-16页 |
| ·IEM (Integrated Enterprise Modeling) | 第11-13页 |
| ·IEM Model Consistency | 第13-14页 |
| ·Meta-modeling Framework | 第14页 |
| ·MOF (Meta Object Facility) | 第14-16页 |
| ·TERMINOLOGY | 第16-20页 |
| ·consistency checking system | 第16页 |
| ·model consistency | 第16-18页 |
| ·Terminology mapping | 第18-20页 |
| ·MAIN CONTENT OF THIS THESIS | 第20-21页 |
| ·SUMMARY | 第21-22页 |
| CHAPTER 2 EXISTING TECHNOLOGY INVESTIGATION | 第22-29页 |
| ·DL (DESCRIPTION LOGIC) | 第22-23页 |
| ·OWL (WEB ONTOLOGY LANGUAGE) | 第23-24页 |
| ·OWL FOR IEM | 第24-27页 |
| ·Components of OWL Ontology | 第24-25页 |
| ·OWL Approach Investigation | 第25-27页 |
| ·OCL (OBJECT CONSTRAINT LANGUAGE) | 第27-28页 |
| ·SUMMARY | 第28-29页 |
| CHAPTER 3 REQUIREMENT ANALYSIS | 第29-39页 |
| ·STAKEHOLDER IDENTIFICATION | 第29-30页 |
| ·USE CASE ANALYSIS | 第30-31页 |
| ·CONSISTENCY CHECKING SYSTEM LANGUAGE DEFINITION | 第31-34页 |
| ·Language Compiler Approach | 第32-33页 |
| ·Description Logic Reasoner Approach | 第33-34页 |
| ·GENERAL DEVELOPING GOALS AND STEPS | 第34-38页 |
| ·A rule definition language for IEM | 第34-36页 |
| ·Developing an interpreter for the rule definition language | 第36-37页 |
| ·Developing an adequate user interface | 第37页 |
| ·Defining a template of constraint definition | 第37页 |
| ·Expected Goal | 第37-38页 |
| ·SUMMARY | 第38-39页 |
| CHAPTER 4 GENERAL DESIGN | 第39-53页 |
| ·OCL AND META-MODELS | 第39页 |
| ·DRESDEN OCL TOOLKIT | 第39-44页 |
| ·Architecture Design | 第40-42页 |
| ·Implementation Technology | 第42-43页 |
| ·Interpretation vs. Generation | 第43-44页 |
| ·INTEGRATION STEPS | 第44-52页 |
| ·SUMMARY | 第52-53页 |
| CHAPTER 5 DETAILED SYSTEM DESIGN | 第53-68页 |
| ·CONCEPTUAL MAPPING | 第53-63页 |
| ·IEM to UML Meta-model mapping | 第54-61页 |
| ·IEM to Java model mapping | 第61-62页 |
| ·IEM to Java model instance mapping | 第62-63页 |
| ·DETAILED DESIGN | 第63-66页 |
| ·Implementation Technology | 第63页 |
| ·MO2GO NGServer and the consistency checking system | 第63-64页 |
| ·The System Function Module | 第64-66页 |
| ·USER INTERFACE DESIGN | 第66-67页 |
| ·Model Viewer | 第66页 |
| ·Model Instance Browser | 第66页 |
| ·OCL Editor | 第66-67页 |
| ·Debug Console | 第67页 |
| ·Interpreter View | 第67页 |
| ·SUMMARY | 第67-68页 |
| CHAPTER 6 SYSTEM IMPLEMENTATION | 第68-90页 |
| ·UML GENERATION | 第68-74页 |
| ·UML model creation | 第68-70页 |
| ·IEM to UML translation | 第70-74页 |
| ·JAVA CODE GENERATION | 第74-79页 |
| ·Java Code generation for IEM Class (IEM model) | 第74-75页 |
| ·Java Code generation for MO2GO NGModel Instances | 第75-79页 |
| ·JAVA SOURCE COMPILATION | 第79页 |
| ·FILE SYSTEM INDEPENDENCE | 第79-80页 |
| ·QUALIFIED NAME TRANSFORMATION AND TYPE MAPPING | 第80-81页 |
| ·OCL EDITOR | 第81-82页 |
| ·INTEGRATION WITH DRESDEN OCL2 FOR ECLIPSE PLUG-IN | 第82页 |
| ·IMPLEMENTATION CONDITIONS | 第82页 |
| ·CONSISTENCY CHECKING PROCESS DEMONSTRATION | 第82-89页 |
| ·The deciding Organizational Resource Rule | 第82-87页 |
| ·The Well-formedness Rule | 第87-89页 |
| ·SUMMARY | 第89-90页 |
| CHAPTER 7 CONSISTENCY CHECKING AND RULES | 第90-104页 |
| ·CONSISTENCY CHECKING FOR SANDWICH PRODUCTION PROCESS | 第90-94页 |
| ·Storage Temperature Rule | 第92-93页 |
| ·Critical Control Point Rule | 第93页 |
| ·Support Resource Rule | 第93-94页 |
| ·CONSISTENCY CHECKING FOR MORTGAGE PROCESS | 第94-98页 |
| ·Bank Mortgage Rules | 第95-97页 |
| ·Report after Valuation Rule | 第97页 |
| ·Bank Support Rule | 第97-98页 |
| ·CONSISTENCY CHECKING FOR SUN FLOWER OIL PRODUCTION | 第98-103页 |
| ·Pressing Product Rule | 第99-100页 |
| ·Hazard Prevention Staff Rule | 第100-102页 |
| ·Hexane Recycle Rule | 第102-103页 |
| ·SUMMARY | 第103-104页 |
| CONCLUSION | 第104-106页 |
| REFERENCES | 第106-111页 |
| ACKNOWLEDGEMENT | 第111-112页 |
| RESUME | 第112页 |
