本文完成的工作之一是分析了Pi演算與動態(tài)描述邏輯DDL之間的關(guān)系:DDL分別從靜態(tài)結(jié)構(gòu)與動態(tài)結(jié)構(gòu)兩方面對Pi演算的若干過程定義進行描述,以說明過程的邏輯結(jié)構(gòu)及過程間邏輯關(guān)系的變化;以一種基于Pi演算的過程模型為基礎(chǔ),分析了ALC描述邏輯、TBox和ABox的語義,并指明Pi演算對DDL動態(tài)知識的變化過程的描述方法。 以上工作表明:DDL的可判定推理可解決基于Pi演算的動態(tài)系統(tǒng)的某些一致性問題,而Pi演算對動態(tài)系統(tǒng)的描述能力可解決DDL動態(tài)知識的變化過程的描述問題。 另外,本文基于如上關(guān)系分析提出兩項應(yīng)用:基于DDL的軟件體系結(jié)構(gòu)模型,描述體系結(jié)構(gòu)的各個部分及其之間的約束條件,并支持對動態(tài)體系結(jié)構(gòu)的一致性檢測;基于Pi演算的本體演化實現(xiàn)方法,以一種本體過程模型為基礎(chǔ),從單本體、單節(jié)點上的多個依賴本體及分布本體三方面給出本體演化過程的實現(xiàn)方法。 

【文章頁數(shù)】：59 頁

【學(xué)位級別】：碩士

【文章目錄】：
內(nèi)容提要
第一章 引言
    1.1 語義網(wǎng)、本體及本體演化
    1.2 描述邏輯DL與動態(tài)描述邏輯DDL
    1.3 Pi演算與軟件體系結(jié)構(gòu)
    1.4 本文完成的主要工作
第二章 Pi 演算與動態(tài)描述邏輯DDL 概述
    2.1 Pi演算簡介
    2.2 動態(tài)描述邏輯DDL簡介
        2.2.1 描述邏輯DL簡介
        2.2.2 DDL對DL的擴展
第三章 從Pi 演算到DDL 的關(guān)系分析
    3.1 靜態(tài)結(jié)構(gòu)
    3.2 動態(tài)結(jié)構(gòu)
        3.2.1 y|-x.P 和y'(x' ).Q 在DDL中的對應(yīng)
        3.2.2 P_1|P_2 在DDL中的對應(yīng)
    3.3 DDL推理在一致性檢測方面的應(yīng)用
    3.4 本章小結(jié)
第四章 從DDL 到Pi 演算的關(guān)系分析
    4.1 基于Pi演算的過程模型
    4.2 ALC基于過程模型的語義
    4.3 TBox和ABox分析
    4.4 Pi演算對動態(tài)知識的變化過程的描述
    4.5 本章小結(jié)
第五章 基于DDL 的軟件體系結(jié)構(gòu)模型
    5.1 軟件體系結(jié)構(gòu)概述
    5.2 基于DDL的軟件體系結(jié)構(gòu)模型的描述
        5.2.1 組件
        5.2.2 通道
        5.2.3 類型
        5.2.4 連接件
        5.2.5 復(fù)合組件
    5.3 一個例子
        5.3.1 DDL描述語言
        5.3.2 TBox
        5.3.3 ABox
    5.4 DDL對動態(tài)體系結(jié)構(gòu)的一致性檢測支持
    5.5 本章小結(jié)
第六章 基于Pi 演算的本體演化實現(xiàn)方法
    6.1 本體演化簡介
    6.2 基于Pi演算的本體過程模型
    6.3 本體演化的Pi演算描述
        6.3.1 單本體演化
        6.3.2 單節(jié)點上多個依賴本體的演化
        6.3.3 分布本體的演化
    6.4 本章小結(jié)
第七章 總結(jié)
參考文獻
攻碩期間發(fā)表的學(xué)術(shù)論文
摘要
Abstract
致謝
導(dǎo)師及作者簡介


【參考文獻】：
期刊論文
[1]軟件體系結(jié)構(gòu)分析與評價方法評述[J]. 劉霞,李明樹,王青,周津慧.  計算機研究與發(fā)展. 2005(07)
[2]基于動態(tài)描述邏輯的主體模型[J]. 董明楷,張�？�,史忠植.  計算機研究與發(fā)展. 2004(05)
[3]基于時序邏輯的軟件體系結(jié)構(gòu)描述語言XYZ/ADL[J]. 朱雪陽,唐稚松.  軟件學(xué)報. 2003(04)



本文編號：3702994