本書以裝備保障信息模型為研究對象,引入信息科學中的“本體論”,研究了本元、個體、共相、實體、契機等概念的定義和形式化表達,構建了面向業(yè)務建模的上層本體框架,依據(jù)該框架,提出了一種基于上層本體建立裝備保障信息模型的建?蚣,給出了運用擴展后的領域特定建模語言進行保障業(yè)務建模的方法,并研究了其形式化規(guī)約的一致性檢測方法。
裝備保障信息化過程中,最為核心和基礎的問題是如何盡可能準確地對現(xiàn)有裝備保障系統(tǒng)進行描述,即保障系統(tǒng)模型的建立。建立保障系統(tǒng)模型,首先要明確保障系統(tǒng)的定義、外延和內涵,對于保障系統(tǒng)的組成和要素之間的關系有清晰的認識,對領域內的重要概念能加以識別和抽象;其次要采用規(guī)范的建模方法與技術,既適合裝備保障領域本身的需求,又能和信息產業(yè)主流的技術規(guī)范體系兼容;最后,所建立的模型要能用于保障信息化建設的工程實踐,可以對其檢測、擴展、修正和復用。
信息模型,是一種用來定義信息常規(guī)表示方式的方法。通過使用信息模型,我們可以使用不同的應用程序對所管理的數(shù)據(jù)進行重用、變更以及分享。使用信息模型的意義不僅存在于對象的建模,同時也在于對對象間相關性的描述。除此之外,建模的對象描述了系統(tǒng)中不同的實體和他們的行為以及系統(tǒng)間數(shù)據(jù)流動的方式。這些將幫助我們更好地理解系統(tǒng)。隨著信息技術的發(fā)展,傳統(tǒng)哲學領域的本體概念被引入計算機科學,定義為“共享概念模型的明確的形式化規(guī)范”,并被廣泛用于信息模型的建模,從信息化與業(yè)務建模的視角看,本體是一種明確表述的概念規(guī)范,是為某種目的而建立的、世界的簡化和抽象的視圖。
本書首先基于本體論中的基本哲學概念,提出了在信息建模領域中持續(xù)物與連續(xù)物的概念范疇,以及它們在裝備保障信息模型建模中的作用,針對部分一整體理論用于概念建模存在的問題進行了適應性修正,引入了一些必要的次要特性的概念,并對部分整體關系體系進行了細化,運用形式化的表達方法,給出了本元、個體、共相、實體、契機等概念的定義和形式化表達,構建面向業(yè)務建模的上層本體框架。
第1章 緒論
1.1 引言
1.2 國內外研究現(xiàn)狀
1.3 主要研究內容
第2章 本體論概述及上層本體
2.1 本體概念內涵
2.2 本體建;
2.3 本體形式化定義
2.4 本體類別
2.5 本體構建
2.5.1 本體構建原則
2.5.2 本體建模方法
2.5.3 本體建模工具
2.6 本體描述語言
2.7 上層本體
2.7.1 本體層級及上層本體
2.7.2 DOLCE本體
2.7.3 GOL本體
第3章 信息模型的本體基礎
3.1 連續(xù)物與持續(xù)物
3.2 部分一整體關系
3.2.1 形式化部分一整體理論
3.2.2 部分一整體理論用于概念建模的問題
3.2.3 有機整體
3.2.4 部分一整體關系中的次要特性
3.3 本體論基本范疇
3.3.1 集合與本元
3.3.2 契機
3.3.3 實體
3.3.4 共相
3.4 面向動態(tài)建模的語義擴展
第4章 裝備保障本體建?蚣
4.1 裝備保障系統(tǒng)組成要素分析
4.1.1 功能要素
4.1.2 資源要素
4.1.3 組織要素
4.2 實體類概念本體建?蚣
4.2.1 本體元特性
4.2.2 實體概念基礎類別體系
4.2.3 裝備保障領域實體概念本體建模
4.3 契機類概念本體建模框架
4.3.1 特征、特征值、特征維和特征域
4.3.2 RMS參數(shù)的本體建模
4.3.3 關系與關系子
4.3.4 保障功能本體建模
4.4 連續(xù)物概念本體建?蚣
4.5 部分一整體關系擴展分類結構
……
第5章 基于裝備保障領域本體的領域特定建模語言
第6章 裝備保障領域本體形式化規(guī)約及檢驗方法
第7章 案例分析與設計