本文關(guān)鍵詞：互聯(lián)網(wǎng)內(nèi)容分級服務(wù)技術(shù)標(biāo)準(zhǔn)體系的形式化設(shè)計與驗證

  更多相關(guān)文章： 內(nèi)容分級 內(nèi)容過濾 技術(shù)標(biāo)準(zhǔn)體系 形式化設(shè)計

【摘要】：互聯(lián)網(wǎng)內(nèi)容分級服務(wù)正得到政府部門和研究機(jī)構(gòu)的關(guān)注和重視,內(nèi)容分級產(chǎn)品的開發(fā)和市場應(yīng)用也日漸增長,但已有的產(chǎn)品各自采用私有解決方案,相互間無法互聯(lián)互通,不利于互聯(lián)網(wǎng)內(nèi)容分級服務(wù)技術(shù)的產(chǎn)業(yè)化和大規(guī)模推廣應(yīng)用。開發(fā)統(tǒng)一、完備和相容的內(nèi)容分級服務(wù)技術(shù)標(biāo)準(zhǔn)體系是解決該問題的有效技術(shù)手段�；ヂ�(lián)網(wǎng)內(nèi)容分級服務(wù)是由許多功能服務(wù)主體所構(gòu)成的大型分布式系統(tǒng),在相關(guān)業(yè)務(wù)目標(biāo)實現(xiàn)過程中,這些構(gòu)成主體間將表現(xiàn)出復(fù)雜的、并發(fā)的協(xié)同交互行為。為確保系統(tǒng)功能正確實現(xiàn),必須對所有構(gòu)成主體的功能及其交互行為進(jìn)行嚴(yán)格規(guī)范�，F(xiàn)有技術(shù)標(biāo)準(zhǔn)體系主要采用工程經(jīng)驗方法來實現(xiàn)上述任務(wù),其完備性和一致性沒有得到充分驗證。因此,運用形式化方法來完成相關(guān)技術(shù)標(biāo)準(zhǔn)體系的建模、設(shè)計和驗證是必要的,并能為后續(xù)的各組成技術(shù)標(biāo)準(zhǔn)詳細(xì)設(shè)計和系統(tǒng)開發(fā)提供堅實的理論基礎(chǔ)。為此,本論文主要從以下四個方面對互聯(lián)網(wǎng)內(nèi)容分級服務(wù)技術(shù)標(biāo)準(zhǔn)體系進(jìn)行了研究：(1)業(yè)務(wù)環(huán)境形式化目標(biāo)建模和系統(tǒng)目標(biāo)提��；(2)系統(tǒng)內(nèi)部構(gòu)成主體及其協(xié)同交互目標(biāo)提取和形式化描述；(3)各組成技術(shù)標(biāo)準(zhǔn)及其相互關(guān)系的提取和形式化描述；(4)技術(shù)標(biāo)準(zhǔn)體系形式化驗證和能力比較。本論文取得了以下四項成果：(1)構(gòu)建了業(yè)務(wù)環(huán)境的形式化目標(biāo)模型分析并提取各項核心業(yè)務(wù)目標(biāo),給出這些目標(biāo)的形式化描述；對這些目標(biāo)進(jìn)行逐層精化,推得完整的業(yè)務(wù)環(huán)境形式化目標(biāo)模型；從該模型提取出各項系統(tǒng)目標(biāo)、環(huán)境假設(shè)和領(lǐng)域?qū)傩?并給出它們的形式化描述。該建模策略從理論上可確保,在各項環(huán)境假設(shè)和領(lǐng)域?qū)傩远急粷M足的前提下,只要正確實現(xiàn)各項系統(tǒng)目標(biāo),各項核心業(yè)務(wù)目標(biāo)就確定會實現(xiàn)。(2)構(gòu)建了技術(shù)標(biāo)準(zhǔn)體系的形式化目標(biāo)模型采用目標(biāo)中介狀態(tài)提取和形式化目標(biāo)精化技術(shù),對各項系統(tǒng)目標(biāo)進(jìn)行逐層精化,得到完整的技術(shù)標(biāo)準(zhǔn)體系形式化目標(biāo)模型；基于該模型中的葉目標(biāo)及其承載主體,推得系統(tǒng)內(nèi)部構(gòu)成主體及其形式規(guī)約,由此確定對應(yīng)的功能服務(wù)類技術(shù)標(biāo)準(zhǔn)；同時基于該模型的所有分支目標(biāo),推得相關(guān)構(gòu)成主體間的交互行為形式規(guī)約,由此確定對應(yīng)的協(xié)同交互類技術(shù)標(biāo)準(zhǔn)；最后,基于該模型中的目標(biāo)精化關(guān)系,推得這些技術(shù)標(biāo)準(zhǔn)間的貢獻(xiàn)關(guān)系。(3)完成了技術(shù)標(biāo)準(zhǔn)體系的形式化設(shè)計對每個功能服務(wù)類和協(xié)同交互類技術(shù)標(biāo)準(zhǔn),給出了包括形式規(guī)約在內(nèi)的完整描述；從這些技術(shù)標(biāo)準(zhǔn)形式規(guī)約中提取信息實體變量,由此確定對應(yīng)的信息表示類技術(shù)標(biāo)準(zhǔn),并給出包括信息實體屬性說明在內(nèi)的完整描述；由技術(shù)標(biāo)準(zhǔn)形式規(guī)約與信息實體變量的包含關(guān)系,推得信息表示類技術(shù)標(biāo)準(zhǔn)對其他類型技術(shù)標(biāo)準(zhǔn)的貢獻(xiàn)關(guān)系；基于技術(shù)標(biāo)準(zhǔn)間的貢獻(xiàn)關(guān)系,得到技術(shù)標(biāo)準(zhǔn)體系層次結(jié)構(gòu),并對其進(jìn)行了完整描述。(4)嚴(yán)格證明了技術(shù)標(biāo)準(zhǔn)體系設(shè)計的完備性和一致性運用形式推理方法,對本技術(shù)標(biāo)準(zhǔn)體系的完備性和一致性給予了嚴(yán)格證明,為后續(xù)技術(shù)標(biāo)準(zhǔn)體系詳細(xì)設(shè)計提供了堅實基礎(chǔ)。同時,歸納并提煉出內(nèi)容分級服務(wù)的各項基礎(chǔ)能力,對每項能力分別給出標(biāo)準(zhǔn)支持與標(biāo)準(zhǔn)缺失的形式化描述,并由此得到本技術(shù)標(biāo)準(zhǔn)體系和其他已有技術(shù)標(biāo)準(zhǔn)體系在基礎(chǔ)能力支持抽象層次上的形式化描述,最終推得它們在核心業(yè)務(wù)目標(biāo)支撐能力方面的完整評價結(jié)果,結(jié)果表明,本技術(shù)標(biāo)準(zhǔn)體系相對其他已有技術(shù)標(biāo)準(zhǔn)體系,能對互聯(lián)網(wǎng)內(nèi)容分級服務(wù)各項業(yè)務(wù)目標(biāo)提供更完整的支撐。本論文受到國家科技支撐計劃重點項目《網(wǎng)絡(luò)文化安全監(jiān)管系統(tǒng)的體系構(gòu)架、集成及示范應(yīng)用》(No.2006BAK11B01)和“十二五”國家科技支撐計劃項目(NO.2011BAK08B05)的支持。
【學(xué)位授予單位】：華中師范大學(xué)
【學(xué)位級別】：博士
【學(xué)位授予年份】：2015
【分類號】：TP393.4

【參考文獻(xiàn)】

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前2條

1 巫思濱;互聯(lián)網(wǎng)不良信息綜合治理研究[D];北京郵電大學(xué);2011年

2 羅云;網(wǎng)絡(luò)信息安全的法律問題研究[D];重慶大學(xué);2011年

，

本文編號：1217112