互聯(lián)網(wǎng)內(nèi)容分級服務(wù)技術(shù)標(biāo)準(zhǔn)體系的形式化設(shè)計(jì)與驗(yàn)證.pdf

1、互聯(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)實(shí)現(xiàn)過程中，這些構(gòu)成主體間將表現(xiàn)出復(fù)雜的、并發(fā)的協(xié)同交互行為。為確保系統(tǒng)功

2、能正確實(shí)現(xiàn)，必須對所有構(gòu)成主體的功能及其交互行為進(jìn)行嚴(yán)格規(guī)范?，F(xiàn)有技術(shù)標(biāo)準(zhǔn)體系主要采用工程經(jīng)驗(yàn)方法來實(shí)現(xiàn)上述任務(wù)，其完備性和一致性沒有得到充分驗(yàn)證。因此，運(yùn)用形式化方法來完成相關(guān)技術(shù)標(biāo)準(zhǔn)體系的建模、設(shè)計(jì)和驗(yàn)證是必要的，并能為后續(xù)的各組成技術(shù)標(biāo)準(zhǔn)詳細(xì)設(shè)計(jì)和系統(tǒng)開發(fā)提供堅(jiān)實(shí)的理論基礎(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é)

3、同交互目標(biāo)提取和形式化描述;(3)各組成技術(shù)標(biāo)準(zhǔn)及其相互關(guān)系的提取和形式化描述;(4)技術(shù)標(biāo)準(zhǔn)體系形式化驗(yàn)證和能力比較。
　　本論文取得了以下四項(xiàng)成果:
　　(1)構(gòu)建了業(yè)務(wù)環(huán)境的形式化目標(biāo)模型
　　分析并提取各項(xiàng)核心業(yè)務(wù)目標(biāo)，給出這些目標(biāo)的形式化描述;對這些目標(biāo)進(jìn)行逐層精化，推得完整的業(yè)務(wù)環(huán)境形式化目標(biāo)模型;從該模型提取出各項(xiàng)系統(tǒng)目標(biāo)、環(huán)境假設(shè)和領(lǐng)域?qū)傩?，并給出它們的形式化描述。該建模策略從理論上可確保，在各項(xiàng)環(huán)境假

4、設(shè)和領(lǐng)域?qū)傩远急粷M足的前提下，只要正確實(shí)現(xiàn)各項(xiàng)系統(tǒng)目標(biāo)，各項(xiàng)核心業(yè)務(wù)目標(biāo)就確定會實(shí)現(xiàn)。
　　(2)構(gòu)建了技術(shù)標(biāo)準(zhǔn)體系的形式化目標(biāo)模型
　　采用目標(biāo)中介狀態(tài)提取和形式化目標(biāo)精化技術(shù)，對各項(xiàng)系統(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)

5、的協(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è)計(jì)
　　對每個功能服務(wù)類和協(xié)同交互類技術(shù)標(biāo)準(zhǔn)，給出了包括形式規(guī)約在內(nèi)的完整描述;從這些技術(shù)標(biāo)準(zhǔn)形式規(guī)約中提取信息實(shí)體變量，由此確定對應(yīng)的信息表示類技術(shù)標(biāo)準(zhǔn)，并給出包括信息實(shí)體屬性說明在內(nèi)的完整描述;由技術(shù)標(biāo)準(zhǔn)形式規(guī)約與信息實(shí)體變量的包含關(guān)系，推得信息表示類技術(shù)標(biāo)準(zhǔn)對其他類型技術(shù)標(biāo)準(zhǔn)的貢獻(xiàn)關(guān)系;基于技術(shù)

6、標(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è)計(jì)的完備性和一致性
　　運(yùn)用形式推理方法，對本技術(shù)標(biāo)準(zhǔn)體系的完備性和一致性給予了嚴(yán)格證明，為后續(xù)技術(shù)標(biāo)準(zhǔn)體系詳細(xì)設(shè)計(jì)提供了堅(jiān)實(shí)基礎(chǔ)。同時，歸納并提煉出內(nèi)容分級服務(wù)的各項(xiàng)基礎(chǔ)能力，對每項(xiàng)能力分別給出標(biāo)準(zhǔn)支持與標(biāo)準(zhǔn)缺失的形式化描述，并由此得到本技術(shù)標(biāo)準(zhǔn)體系和其他已有技術(shù)標(biāo)準(zhǔn)體系在基礎(chǔ)能力支持抽象層次上的形式化描述，最終推得它們在