| Abstract | .... 2 | |
| 1 | Introduction | .... 2 |
| 2 | Overview of Proton | .... 2 |
| 3 | FACT/Model Representation Environment(FME) | .... 3 |
| 3.1 | Inheritance Hierarchy | .... 3 |
| 3.2 | Mechanism for Whole-Part Hierarchy | .... 3 |
| 3.3 | Mechanism for Maintenance Coherence | .... 3 |
| 3.4 | Mechanism for Relation Search | .... 3 |
| 4 | Extended Facility of FME | .... 4 |
| 4.1 | Synthesis of the Communicative Model | .... 4 |
| 4.2 | Verification of Communicative Model | .... 4 |
| 4.3 | TWO-WAY Simulationof Communicative Model | .... 4 |
| 5 | Summary | .... 4 |
| References | .... 5 |
ICOT研究論文(TR)一覧に戻る / Back to the list of ICOT Technical Reports