基于本體推理的UML模型語義檢查.pdf

1、統(tǒng)一建模語言（UnifiedModelingLanguage，UML）已經(jīng)被面向?qū)ο蠼ｎI(lǐng)域公認為事實上的工業(yè)標(biāo)準(zhǔn)。使用UML描述的軟件模型，表達簡潔、直觀，便于建模人員進行交流溝通。然而，這種圖形化的語言缺乏精確的形式化語義基礎(chǔ)，由此，可能導(dǎo)致建模過程中產(chǎn)生不一致性等問題。目前雖然已經(jīng)有很多工作致力于UML精確性研究和UML模型的不一致性管理等研究，但是，它們主要從局部給出了個別UML圖形建模的解決辦法，不能從根本上解決問題。

2、 基于本體的精確化特點和自推理功能，我們以本體作為UML模型不一致檢查的語義層次基礎(chǔ)，根據(jù)UML模型和本體的相似性特點，把UML模型轉(zhuǎn)化為本體模型，通過本體的推理功能，以此來檢查UML模型中的語義不一致性等問題。為達到這個目的，本文主要開展了以下幾個方面的研究工作： 1．詳細比較了本體和UML模型的異同點。本文主要從靜態(tài)、動態(tài)、共享、可擴展性、建模方法、繼承、封裝、類之間的關(guān)系、類和屬性的層次，以及推理特性等角度，對兩者進行了詳

3、細的比較；同時，我們還詳細比較了兩種模型各自的描述語言，以便為下一步的模型轉(zhuǎn)換奠定基礎(chǔ)。 2．建立了兩種模型的轉(zhuǎn)換規(guī)則。在上述本體和UML模型比較的基礎(chǔ)上，基于兩種模型的相似性，給出了從UML模型到本體模型的轉(zhuǎn)換規(guī)則；并以大學(xué)員工的部分UML模型為實例，綜合驗證了方法的可行性（主要內(nèi)容包括模型的轉(zhuǎn)換和推理驗證）。 3．提出了描述邏輯的動態(tài)擴展。目前的描述邏輯ALCQI只能描述UML圖形中的靜態(tài)特征，還不能很好地描述UML