基于本體推理的體系結構驗證方法研究.pdf

1、體系結構是對 C4ISR系統(tǒng)的頂層設計，是實現(xiàn)系統(tǒng)之間互連、互通和互操作的依據(jù)。體系結構設計的質量直接影響到系統(tǒng)的設計和實現(xiàn)，結構良好的體系結構可以減少維護階段的高昂代價。因此，體系結構驗證從而成為一個重要的研究方向，通過體系結構驗證可以發(fā)現(xiàn)并及時改進不合理甚至是矛盾的設計，提高設計質量。
　　本文研究的主要目的是以國防部體系結構框架2.0元模型 DM2（DoDAF2.0 Meta-Model）為基礎，利用本體推理技術，提出一種具

2、有較強通用性的體系結構驗證方法。本文從本體推理技術出發(fā)，以體系結構驗證方法為研究內容，并重點對體系結構的一致性和完備性驗證進行了深入研究。本文的主要內容分為以下幾個方面：
　?。?）基于本體推理的體系結構驗證方法的提出
　　分析了體系結構驗證、DM2和本體推理的相關定義、概念和技術，提出了基于規(guī)則的本體推理技術用于體系結構驗證的理論基礎和技術優(yōu)勢，從理論上研究了該方法的可行性
　?。?）體系結構數(shù)據(jù)的OWL（Ontol

3、ogy Web Language）描述方法
　　基于本體相關技術理論，分析DM2對體系結構設計的規(guī)范描述，建立使用本體描述語言OWL描述DM2的方法，并按照此方法構建本體模型，然后按照DoDAF2.0所提供的物理交換規(guī)范，將XML數(shù)據(jù)格式映射為OWL數(shù)據(jù)格式，并按此方法將體系結構設計數(shù)據(jù)描述為本體實例，為使用本體推理技術進行體系結構驗證提供了技術基礎。
　?。?）本體推理規(guī)則建立方法
　　針對使用的本體推理機的推理原理