互聯(lián)網(wǎng)內(nèi)容分級服務技術標準體系的形式化設計與驗證.pdf

1、互聯(lián)網(wǎng)內(nèi)容分級服務正得到政府部門和研究機構的關注和重視，內(nèi)容分級產(chǎn)品的開發(fā)和市場應用也日漸增長，但已有的產(chǎn)品各自采用私有解決方案，相互間無法互聯(lián)互通，不利于互聯(lián)網(wǎng)內(nèi)容分級服務技術的產(chǎn)業(yè)化和大規(guī)模推廣應用。開發(fā)統(tǒng)一、完備和相容的內(nèi)容分級服務技術標準體系是解決該問題的有效技術手段。
　　互聯(lián)網(wǎng)內(nèi)容分級服務是由許多功能服務主體所構成的大型分布式系統(tǒng)，在相關業(yè)務目標實現(xiàn)過程中，這些構成主體間將表現(xiàn)出復雜的、并發(fā)的協(xié)同交互行為。為確保系統(tǒng)功

2、能正確實現(xiàn)，必須對所有構成主體的功能及其交互行為進行嚴格規(guī)范?，F(xiàn)有技術標準體系主要采用工程經(jīng)驗方法來實現(xiàn)上述任務，其完備性和一致性沒有得到充分驗證。因此，運用形式化方法來完成相關技術標準體系的建模、設計和驗證是必要的，并能為后續(xù)的各組成技術標準詳細設計和系統(tǒng)開發(fā)提供堅實的理論基礎。
　　為此，本論文主要從以下四個方面對互聯(lián)網(wǎng)內(nèi)容分級服務技術標準體系進行了研究:(1)業(yè)務環(huán)境形式化目標建模和系統(tǒng)目標提取;(2)系統(tǒng)內(nèi)部構成主體及其協(xié)

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

4、設和領域?qū)傩远急粷M足的前提下，只要正確實現(xiàn)各項系統(tǒng)目標，各項核心業(yè)務目標就確定會實現(xiàn)。
　　(2)構建了技術標準體系的形式化目標模型
　　采用目標中介狀態(tài)提取和形式化目標精化技術，對各項系統(tǒng)目標進行逐層精化，得到完整的技術標準體系形式化目標模型;基于該模型中的葉目標及其承載主體，推得系統(tǒng)內(nèi)部構成主體及其形式規(guī)約，由此確定對應的功能服務類技術標準;同時基于該模型的所有分支目標，推得相關構成主體問的交互行為形式規(guī)約，由此確定對應

5、的協(xié)同交互類技術標準;最后，基于該模型中的目標精化關系，推得這些技術標準間的貢獻關系。
　　(3)完成了技術標準體系的形式化設計
　　對每個功能服務類和協(xié)同交互類技術標準，給出了包括形式規(guī)約在內(nèi)的完整描述;從這些技術標準形式規(guī)約中提取信息實體變量，由此確定對應的信息表示類技術標準，并給出包括信息實體屬性說明在內(nèi)的完整描述;由技術標準形式規(guī)約與信息實體變量的包含關系，推得信息表示類技術標準對其他類型技術標準的貢獻關系;基于技術

6、標準間的貢獻關系，得到技術標準體系層次結構，并對其進行了完整描述。
　　(4)嚴格證明了技術標準體系設計的完備性和一致性
　　運用形式推理方法，對本技術標準體系的完備性和一致性給予了嚴格證明，為后續(xù)技術標準體系詳細設計提供了堅實基礎。同時，歸納并提煉出內(nèi)容分級服務的各項基礎能力，對每項能力分別給出標準支持與標準缺失的形式化描述，并由此得到本技術標準體系和其他已有技術標準體系在基礎能力支持抽象層次上的形式化描述，最終推得它們在