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

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

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

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

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