MC Jaeger論文之一 “QoS aggregation for Web service composition using workflow patterns” (EDO

Michael C. Jaeger, Gregor Rojec-Goldmann, Gero M?, "QoS Aggregation for Web Service Composition using Workflow Patterns," edoc, pp.149-159, Enterprise Distributed Object Computing Conference, Eighth IEEE International (EDOC'04), 2004

Time: 2 hours

最近在看一些代碼, 幾天沒看論文, 心裡有些發慌. 由於沒有時間看新論文, 找了幾篇以前看過的論文溫習一下.
Michael C. Jaeger(柏林工業大學)
研究方向是Quality-of-Service and Distributed Systems Ontologies, Semantic Web and Semantic Web Services.
04, 05年的時候, 他有幾篇基於工作流程結構對組合服務QoS進行彙總的論文, 被引用率頗高.
    QoS aggregation for Web service composition using workflow patterns(gs:83), EDOC, 2004
    QoS Aggregation in Web Service Compositions (gs: 41), EEE, 2005
    Addendum: QoS Aggregation using WF Patterns (2005)
    Optimising Quality-of-Service for the Composition of Electronic Services. PhD thesis, Berlin University of Technology, January 2007.
這幾篇論文難度並不高, 沒有複雜的演算法, 沒有完整的系統, 也沒有實驗驗證, 主要是總結性的一些工作, 之所以會被高引用, 可能的原因是
(1) 發表時間較早 (2)內容關於是組合服務領域的基本問題 (3) 論文本身簡單易懂

1. 本文涉及的workflow pattern基於Van der Aalst的工作, 主要討論了sequence, loop, XOR-SPLIT/XOR-JOIN(條件選擇), AND-SPLIT/AND-JOIN(並發), AND-SPLIT/m/n-JOIN(常用於容錯模式), OR-SPLIT/OR-JOIN和OR-SPLIT/m/n-JOIN這七種.

2. 涉及的QoS屬性包括Execution Time, Cost, Encryption, Throughput和Uptime Probability
對於Execution Time和Cost, 作者列出了彙總之後得到最大值和最小值兩種情況.
比如對於Execution Time, 在sequence, loop, and-and等結構中, 彙總Qos的最大和最小值是一樣的; 但是在xor-xor結構中, 最大值和最小值分別由分支中Execution Time最大和最小的服務決定.
(S4.3)中討論的Uptime Probability貌似就是指reliability, 文章說"is regarded as a decreasing dimension"應是筆誤, 這個應該是increasing dimension. 此外, 本文的詞句排版有點粗糙, 拼字錯誤, 筆誤之類不止出現一處.

3. 進行QoS彙總時, 本文有一些假設(S4.2)
(1) 服務之間獨立. (關於考慮服務間QoS關聯的論文有代鈺06, 葉世陽08等)
(2) 服務聲稱的QoS都是可信的. (這方面是關於trust & reputation of web service QoS的研究, 最早見於EM Maximilien, 此後這個領域的研究有很多)
(3) uniformity: 指的是對於Web Service QoS的定義常有不同的定義, 因此討論時要遵循consistent的原則.
(4) equipartition: 對於各分支, 假設被選擇的機率都是相等的(如果有曆史資料, 可以得到更加靠譜的機率資料)

4. (S1)中討論了web service composition與workflow的區別
(1) composition中的服務可以動態發現, 綁定和替換
(2) composition中可以存在很多redundant service供選擇
(3) web service composition中不支援human的活動(不過現在也有一些服務Web組合的語言支援human activity了, 比如BPEL4People)

附論文中的QoS彙總表, 以方便尋找