滿足用戶隱私需求的Web服務(wù)組合方法研究.pdf

1、隨著面向服務(wù)架構(gòu)SOA（Service-oriented Architecture）的發(fā)展，Web服務(wù)組合已經(jīng)應(yīng)用到日常生活的各個(gè)領(lǐng)域。用戶在使用Web服務(wù)組合時(shí)，需要提供一些個(gè)人隱私信息以完成必要的業(yè)務(wù)功能。所以，在滿足業(yè)務(wù)需求的前提下，找到一條滿足用戶隱私需求的Web服務(wù)組合路徑已經(jīng)成為當(dāng)前服務(wù)計(jì)算領(lǐng)域的研究熱點(diǎn)。
　　現(xiàn)有的Web服務(wù)組合方法更多的是關(guān)注如何去滿足用戶的業(yè)務(wù)需求，就算是對(duì)隱私需求有所關(guān)注，也僅僅解決了相對(duì)簡(jiǎn)單

2、的用戶隱私需求。Web服務(wù)環(huán)境的動(dòng)態(tài)、異構(gòu)和自治的特征，使得隱私保護(hù)必須考慮服務(wù)間的行為交互，必須對(duì)用戶隱私數(shù)據(jù)以及它們之間的依賴(lài)關(guān)系加以限制。同時(shí)，Web服務(wù)環(huán)境的特征還使得大部分的隱私數(shù)據(jù)依賴(lài)關(guān)系呈現(xiàn)出時(shí)序特征?？紤]到在計(jì)算機(jī)領(lǐng)域模型檢測(cè)技術(shù)能夠?qū)Υ?yàn)證系統(tǒng)中時(shí)序相關(guān)特性進(jìn)行精確地檢測(cè)，本文提出一種利用模型檢測(cè)工具來(lái)找到一條滿足用戶隱私需求的Web服務(wù)組合路徑的方法。本文的主要研究工作如下：
　?。?）由于大部分隱私數(shù)據(jù)依賴(lài)關(guān)

3、系都可以表達(dá)成時(shí)序?qū)傩约s束，因此采用線性時(shí)序邏輯規(guī)約隱私需求中的隱私數(shù)據(jù)間的依賴(lài)關(guān)系。在此之前，首先對(duì)隱私需求中的隱私數(shù)據(jù)依賴(lài)關(guān)系進(jìn)行分類(lèi)分析，并分析這些數(shù)據(jù)依賴(lài)關(guān)系與Web服務(wù)行為約束之間的對(duì)應(yīng)關(guān)系，提出一種用線性時(shí)序邏輯規(guī)約隱私需求中隱私數(shù)據(jù)依賴(lài)的方法，并從隱私需求的隱私數(shù)據(jù)關(guān)系中提取出驗(yàn)證性質(zhì)。
　　（2）考慮到模型檢測(cè)工具的輸入要求，在完成對(duì)隱私需求的LTL規(guī)約描述后，需要完成Web服務(wù)組合的形式化建模工作。因此，對(duì)UML

4、活動(dòng)圖進(jìn)行隱私屬性擴(kuò)展，得到隱私活動(dòng)圖，利用該模型對(duì)Web服務(wù)組合的隱私行為進(jìn)行建模，并給出BPEL流程活動(dòng)到隱私活動(dòng)圖的轉(zhuǎn)換方法；然后提出轉(zhuǎn)換規(guī)則將該模型轉(zhuǎn)換成模型檢驗(yàn)工具SPIN能夠接收的Promela描述。
　?。?）基于本文的研究方法，設(shè)計(jì)并實(shí)現(xiàn)了滿足用戶隱私需求的Web服務(wù)組合原型工具，利用該工具對(duì)WS-BPEL流程進(jìn)行隱私行為建模并借助SPIN完成隱私需求數(shù)據(jù)依賴(lài)關(guān)系的檢測(cè)，并通過(guò)對(duì)結(jié)果的分析，返回給用戶一條滿足隱私需