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

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

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

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

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