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

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

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

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


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



本文編號(hào)：3702994