李攀攀　張宏莉

摘 要：云計算以其低成本的方式提供高可靠、高可用和規(guī)?？缮炜s的個性化服務(wù)等諸多優(yōu)勢得到了飛速的發(fā)展，并日益受到學(xué)術(shù)界和工業(yè)界越來越多的關(guān)注。針對云計算服務(wù)質(zhì)量評價問題，本文綜述了最新的研究進(jìn)展，并提出了云計算服務(wù)質(zhì)量評價領(lǐng)域未來的熱點研究方向。

關(guān)鍵詞：云計算；服務(wù)質(zhì)量評價；服務(wù)質(zhì)量等級

中圖分類號：TP393 文獻(xiàn)標(biāo)志碼： A 文章編號：2095-2163（2015）05-

Survey on Cloud Computing Service Level Agreement Evaluation

LI Panpan， ZHANG Hongli

（School of Computer Science and Technology， Harbin Institute of Technology， Harbin 150001， China）

Abstract： Cloud computing has achieved great development due to a serious of significant advantages， such as high reliability， high availability， high scalability， low cost customized service and so on. Hence， there are growing concerns about the cloud computing in academia and industry. In this paper， the recent research developments of cloud service level evaluation technologies are investigated. And then hot topics and future research trends of cloud service level evaluation are also presented.

Keywords： Cloud Computing； Service Level Evaluation； Service Level Agreement

0 引 言

云計算的概念可以追溯到上個世紀(jì)60年代，計算機(jī)科學(xué)家約翰·麥卡錫即已提出“計算有可能在未來成為一種公共設(shè)施”的科學(xué)預(yù)言[1]。時光邁入2006年，Google則首次提出了云計算的概念。近年來，作為物聯(lián)網(wǎng)、大數(shù)據(jù)等領(lǐng)域的核心支撐技術(shù)，云計算依靠其可定制服務(wù)、高度服務(wù)擴(kuò)展性、強(qiáng)大的計算能力、海量的存儲能力和相對低廉的價格等諸多顯著優(yōu)勢取得了迅猛的發(fā)展[1-2]，并引起了學(xué)術(shù)界和工業(yè)界越來越多的關(guān)注。

1 云計算體系結(jié)構(gòu)與關(guān)鍵特征

云計算是分布式計算、并行計算、網(wǎng)格計算和虛擬化等技術(shù)綜合發(fā)展而成的，基于互聯(lián)網(wǎng)進(jìn)行服務(wù)交付、自主使用的服務(wù)模式。按照服務(wù)層次，云平臺可劃分為基礎(chǔ)設(shè)施即服務(wù)（Infrastructure as a Service， IaaS），平臺即服務(wù)（Platform as a Service， PaaS）和軟件即服務(wù)（Software as a Service， SaaS）三個層次，為云用戶提供了不同程度的資源共享和服務(wù)交付模式[3]，如圖1所示。在此，針對云平臺的三個劃分層次給出如下相關(guān)的綜合論述。

（1）IaaS是最底層的云計算系統(tǒng)服務(wù)，接近物理硬件資源，是為云用戶提供的一個虛擬化資源（計算、存儲和通信等）?；A(chǔ)設(shè)施的規(guī)?？梢园葱鑴討B(tài)變化，提供可靠性高、可定制性強(qiáng)、規(guī)模可擴(kuò)展的IaaS層服務(wù)，以精確地滿足云用戶的現(xiàn)實需求；

（2）PaaS是在基礎(chǔ)設(shè)施之上的平臺層，是云計算系統(tǒng)的核心層，主要包括并行程序設(shè)計和開發(fā)環(huán)境、結(jié)構(gòu)化海量數(shù)據(jù)的分布式存儲管理系統(tǒng)、海量數(shù)據(jù)分布式文件系統(tǒng)以及實現(xiàn)云計算的其它系統(tǒng)管理工具，如云計算的系統(tǒng)中資源的部署、分配、監(jiān)控管理、安全管理和分布式并發(fā)控制等。PaaS層主要為應(yīng)用程序開發(fā)者特別組織而設(shè)計，開發(fā)者不再考慮應(yīng)用運行時所需要的資源，PaaS層已經(jīng)提供了應(yīng)用程序運行及維護(hù)所需要的一切平臺資源；

（3）SaaS層中通常以應(yīng)用軟件以及交互接口作為服務(wù)，在瀏覽器中提供給終端用戶，因而節(jié)省了用戶的軟件部署和維護(hù)開支。

圖1 云計算體系結(jié)構(gòu)

Fig.1 Cloud Computing Architecture

廣義上講，云計算是由分布式計算、網(wǎng)格計算、并行處理、效用計算、網(wǎng)絡(luò)存儲、虛擬化和負(fù)載均衡等傳統(tǒng)計算機(jī)技術(shù)和網(wǎng)絡(luò)技術(shù)發(fā)展融合所產(chǎn)生的一種商業(yè)服務(wù)模式[3]。但云計算也有著自身的關(guān)鍵性特征，分析起來可總結(jié)如下[1， 4]：

（1）資源高度虛擬化。 虛擬化是云計算平臺的核心支撐技術(shù)之一，即將各種計算及存儲資源充分整合和高效利用的關(guān)鍵技術(shù)。虛擬化是表示計算機(jī)資源的抽象方法，通過虛擬化可以用與訪問抽象前資源一致的方法訪問抽象后的資源，隱藏資源屬性和操作之間的差異，并使得云服務(wù)具有硬件無關(guān)性，且允許通過通用的方式來使用資源；

（2）動態(tài)彈性服務(wù)。 動態(tài)彈性服務(wù)能力是云計算的重要特性之一，而且也是保證云計算服務(wù)能否成功實施的關(guān)鍵因素。云平臺管理系統(tǒng)將會系統(tǒng)整合云平臺的各種IT資源，同時使用多重負(fù)載均衡策略，即可可以根據(jù)用戶使用資源的具體情況對資源靈活的配置、增加和釋放；

（3）廣泛的網(wǎng)絡(luò)接入。 云計算通過網(wǎng)絡(luò)提供服務(wù)，云用戶可以利用各種終端設(shè)備隨時隨地通過互聯(lián)網(wǎng)訪問云計算服務(wù)；

（4）按需付費。按需服務(wù)并付費是目前各類云服務(wù)中不可或缺的重要部分。對用戶而言，省去購買大量軟硬件設(shè)備以及人員開銷的費用，而且還能根據(jù)自身業(yè)務(wù)成長的需要選擇相應(yīng)的云服務(wù)；

（5）資源可測量。云中的IT資源是可以精確測量的，一方面可以了解系統(tǒng)的運行狀態(tài)，另一方面可為服務(wù)計費提供度量手段；

（6）多租戶技術(shù)。云平臺的多租戶技術(shù)將使得大量的租戶能夠共享同一堆棧的軟、硬件資源，每個租戶都能夠按需使用資源，能夠?qū)浖?wù)進(jìn)行客戶化配置，而且不影響其他租戶的使用。此外，更能提供諸如數(shù)據(jù)隔離、客戶化配置、架構(gòu)擴(kuò)展和性能定制等多重實用功能；

（7）規(guī)?；?jīng)濟(jì)。云計算平臺的規(guī)模通常較大，云服務(wù)提供商（Cloud Service Provider，CSP）可以使用多種技術(shù)來提高系統(tǒng)資源利用率從而降低使用成本，同時還可以通過通風(fēng)、制冷、供電、網(wǎng)絡(luò)接入的統(tǒng)籌規(guī)劃降低維護(hù)成本，從而實現(xiàn)規(guī)模化經(jīng)濟(jì)，為用戶提供價格低廉的服務(wù)。

總之，云計算是一種以提高資源利用率、降低IT設(shè)備總擁有成本為驅(qū)動的服務(wù)模式，其核心是以虛擬化和互聯(lián)網(wǎng)技術(shù)為基礎(chǔ)支撐，對基于網(wǎng)絡(luò)連接的各種資源統(tǒng)一進(jìn)行管理和調(diào)度，由此即構(gòu)成一個可以動態(tài)地配置、靈活擴(kuò)展和自動化管理的IT資源池[4]。

2 云計算服務(wù)質(zhì)量評測技術(shù)的挑戰(zhàn)

云計算平臺廣泛使用的虛擬化技術(shù)、動態(tài)資源分配等技術(shù)給服務(wù)質(zhì)量評測帶來了多方面的挑戰(zhàn)。綜合來講，主要來自三個方面：

（1）物理IT資源視圖對云用戶的不可見性。云計算廣泛使用的虛擬化技術(shù)屏蔽了云用戶對云平臺的物理硬件視圖，使得云計算服務(wù)過程和服務(wù)內(nèi)容等脫離了云用戶物理上的控制權(quán)，由此導(dǎo)致了如何確定云計算平臺是否按照約定提供可信服務(wù)就隨即成為云用戶選擇使用云計算平臺的首要考慮因素。出于經(jīng)濟(jì)利益或聲譽的考慮可知，云計算服務(wù)提供商單方面聲稱服務(wù)質(zhì)量的服務(wù)等級協(xié)議（Service Level Agreement，SLA）可靠性并不具有充分的可觀保障度。因此，如何評測云計算服務(wù)質(zhì)量便應(yīng)運而生，成為亟待突破的重要問題，其重要性與緊迫性日益突顯。

（2）云用戶需求的多樣性。不同云平臺提供不同的服務(wù)內(nèi)容，如面向數(shù)據(jù)存儲云服務(wù)、面向高性能計算的云服務(wù)和面向網(wǎng)絡(luò)應(yīng)用云服務(wù)等，諸多的云平臺有著不同類型的服務(wù)內(nèi)容和形式，云用戶對這些云服務(wù)均有著不同的業(yè)務(wù)需求，也就使得云服務(wù)質(zhì)量評測更要滿足用戶服務(wù)內(nèi)容多樣性需求。

（3）云用戶對服務(wù)目標(biāo)多樣性要求。云用戶應(yīng)用需求的表現(xiàn)是多方面的，例如云平臺高性能計算、安全可靠分布式存儲、網(wǎng)絡(luò)帶寬、網(wǎng)絡(luò)延遲、云服務(wù)即時響應(yīng)能力的要求?；诖?，CSP則提供了不同的云體系結(jié)構(gòu)滿足這種云用戶多樣性的需求。不同的云服務(wù)所對應(yīng)的服務(wù)質(zhì)量的定義在維度上往往都是各有不同的，這也就要求已經(jīng)推出的各類云服務(wù)質(zhì)量評測技術(shù)能夠與之相互匹配與對應(yīng)。

因此，為了更好地評估云平臺的服務(wù)質(zhì)量SLA的合規(guī)性，針對特定服務(wù)內(nèi)容以及綜合考慮各服務(wù)要素構(gòu)建SLA合規(guī)性的評測方法是具有客觀的現(xiàn)實必要性及重要性的。

3 云計算服務(wù)質(zhì)量評測技術(shù)研究新進(jìn)展

云平臺資源使用度量是從云用戶或第三方的角度來進(jìn)行評估云平臺資源服務(wù)能力的實效評估，到目前已有眾多的代表性研究成果，歸納起來主要有以下三類，現(xiàn)分別對其進(jìn)行系統(tǒng)闡述和介紹。

3.1 資源服務(wù)能力監(jiān)控與度量

云平臺的結(jié)構(gòu)復(fù)雜，資源服務(wù)能力的監(jiān)控與度量是服務(wù)質(zhì)量SLA評估的基礎(chǔ)。GMonE[5]是一個層次化的云平臺監(jiān)控架構(gòu)，GMonE使用并定義了云監(jiān)控等級和云監(jiān)控視圖這兩個核心指標(biāo)對云平臺的監(jiān)控方案進(jìn)行甄別分類。文獻(xiàn)[6]提出了面向云用戶的自適應(yīng)模塊化監(jiān)控方案，監(jiān)控設(shè)計者可以根據(jù)需求擴(kuò)展現(xiàn)有模塊，設(shè)計可視化視圖，以滿足不同云用戶個性化的資源監(jiān)控需求。RMCM[7]是云平臺運行時環(huán)境高靈活的可擴(kuò)展性服務(wù)質(zhì)量的監(jiān)控系統(tǒng)，RMCM系統(tǒng)綜合利用本地資源監(jiān)控庫、JVM Agent、事件攔截器、JMX（Java Management Extensions）技術(shù)、服務(wù)取證等技術(shù)抓取云平臺系統(tǒng)中的原始監(jiān)控數(shù)據(jù)，進(jìn)行服務(wù)質(zhì)量的事后分析。SmartSLA[8]是面向計算密集型虛擬資源管理系統(tǒng)，主要包含系統(tǒng)建模模塊和資源分配模塊兩個單元，系統(tǒng)建模模塊是個學(xué)習(xí)模型，使用機(jī)器學(xué)習(xí)方法預(yù)測每個云用戶在不同資源分配情況下的SLA懲罰成本，資源分配模塊通過權(quán)衡潛在的SLA懲罰成本和基礎(chǔ)設(shè)施成本進(jìn)行動態(tài)調(diào)整資源分配。

靈活、可靠地檢測云平臺的服務(wù)質(zhì)量也是目前云平臺服務(wù)質(zhì)量評價的研究熱點之一。MELA[9]是云平臺彈性化服務(wù)的建模和分析方案，MELA允許云服務(wù)開發(fā)者使用特定接口獲取云彈性服務(wù)一些關(guān)鍵特征的相關(guān)數(shù)據(jù)，通過聚合監(jiān)控數(shù)據(jù)對云計算的彈性服務(wù)能力的參數(shù)進(jìn)行分析以評估云服務(wù)質(zhì)量。MonPaaS系統(tǒng)[10]分別從CSP資源視角和云用戶資源視角兩個維度對IT資源進(jìn)行度量，并允許云用戶靈活、具體地自定義監(jiān)控指標(biāo)和監(jiān)控方案。

3.2基于可信第三方的服務(wù)質(zhì)量評估

可信第三方擁有較高的資源訪問權(quán)限，能有效地解決CSP和云用戶權(quán)利不對等所引發(fā)的評測結(jié)果不可靠等問題。DMI（Dynamic Monitoring Interval）是一個輕量級的云服務(wù)質(zhì)量監(jiān)控方案[11]，服務(wù)質(zhì)量SLA描述方案保存于可信方，部署在云平臺內(nèi)部的監(jiān)控引擎自主采集云平臺運行時的環(huán)境相關(guān)信息，并由可信方根據(jù)預(yù)設(shè)規(guī)則分析監(jiān)控信息，以評估云服務(wù)質(zhì)量SLA的合規(guī)性。CASViD[12]是適用于云計算平臺應(yīng)用層的一個高效監(jiān)控和SLA違約檢測框架，其核心組件是一個應(yīng)用級的監(jiān)視器，監(jiān)視器通過采集云用戶的應(yīng)用在云平臺上運行時環(huán)境的資源消耗參數(shù)和性能，來判斷云平臺是否滿足SLA的要求。面向云平臺特定服務(wù)內(nèi)容SLA合規(guī)性評估研究中，Houlihan等人[13]的方案中則由可信第三方使用一個CPU密集型測試用例，隨機(jī)檢測CSP的CPU的性能是否符合SLA的約定。CSP對云平臺的IT資源擁有絕對控制權(quán)，對CPU服務(wù)能力的檢測就不應(yīng)被CSP所感知，以阻止CSP進(jìn)行有目的性的防檢測，為此，Huang等人[14]在此基礎(chǔ)上進(jìn)一步提出一個輕量級的隨機(jī)CPU資源耗盡策略評估CPU服務(wù)能力的SLA合規(guī)性，因而有效地避免了CSP有目的性的反評估。

3.3 服務(wù)SLA建模語言

在傳統(tǒng)研究領(lǐng)域中，已出現(xiàn)一些SLA描述的語言模型，如WSLA[15]，WS-Agreement[16]，其中，WSLA是由IBM統(tǒng)一研發(fā)，可用來定義和監(jiān)控Web服務(wù)SLAs機(jī)器可讀格式的規(guī)范，并包含SLA的擔(dān)保和約束的相關(guān)定義，WSLA是一個SLA驅(qū)動的Web生命周期管理框架。同樣，WS-Agreement也是最重要的規(guī)范之一，提供了定義服務(wù)供求雙方服務(wù)協(xié)調(diào)以及管理SLA的相關(guān)協(xié)議。其它的SLA定義的規(guī)范，諸如SLAng[17]和WSOL[18]都是基于可擴(kuò)展標(biāo)記語言（Extensible Markup Language， XML）定義的面向Web服務(wù)的QoS約束機(jī)制的規(guī)范，其與Web服務(wù)技術(shù)和標(biāo)準(zhǔn)緊密相關(guān)，但與上述方法類似，這兩個規(guī)范僅僅定義了服務(wù)質(zhì)量的建模方法，卻未涉及服務(wù)生命周期管理及SLA評估。除以上的重點推介外，時下學(xué)界還已研發(fā)有基于RuleML規(guī)則建模語言拓展而成的RBSLA[19]SLA建模語言。

綜上可知，SLA描述方法也是云計算服務(wù)質(zhì)量SLA評估的重要研究領(lǐng)域。云計算服務(wù)質(zhì)量SLA評估領(lǐng)域誕生之初主要側(cè)重于SLA協(xié)商與監(jiān)控的方法研究，如WS-Policy[20]、WS-Negotiation[21]、SWRL[22]和CSLA[23]等。Garcia等人[24]開啟了對云服務(wù)進(jìn)行通用的規(guī)范化表示方法的設(shè)計研究進(jìn)程，使用WS-Agreemen規(guī)范對服務(wù)過程中SLA各要素實施統(tǒng)一管理，并且，SLA合成算法又全面整合了服務(wù)過程中各服務(wù)要素的SLA描述碎片，由此構(gòu)建了SLA驅(qū)動的云平臺架構(gòu)。類似的研究方案還有，SLA感知即服務(wù)（SLA-aware as a Service. SLAaaS， SLAaaS）的云模型[23]將有效的SLA描述機(jī)制融入到面向QoS的云服務(wù)中，通過云服務(wù)等級協(xié)議（Cloud Service Level Agreement，CSLA）語言定義了SLA以及處理SLA的違規(guī)案例。另一突出成果就是：文獻(xiàn)[25]提出了一個基于SLA的按需服務(wù)虛擬化服務(wù)提供方案，首次嘗試將基于SLA的資源協(xié)商虛擬機(jī)用于提供按需服務(wù)，而且又一并提出了SLA感知的云計算系統(tǒng)。

還有一些方案則是從SLA協(xié)商、建立、監(jiān)測、評估等生命周期內(nèi)的關(guān)鍵步驟管理入手，來相應(yīng)評估服務(wù)質(zhì)量SLA的合規(guī)性。在此，給出重點研究成果，即如，F(xiàn)arokhi在文獻(xiàn)[26]中提出面向多云計算環(huán)境的服務(wù)分配框架，主要包含三個階段，分別是：SLA協(xié)商建設(shè)、服務(wù)選擇和違反SLA監(jiān)測和檢測，該模型更多地是從交付的角度對多云平臺的SLA合規(guī)性實現(xiàn)評測，具體就是在SLA合規(guī)性的約束下，利用最優(yōu)化算法將服務(wù)均衡地分配到不同的云基礎(chǔ)設(shè)施上，因而在獲取CSP經(jīng)濟(jì)效益最大化的同時，也保證了云用戶的SLA合規(guī)性。CSP使用公共SLA模板時，若發(fā)布一個新的SLA模板，那么就必須按照一定的預(yù)設(shè)規(guī)則映射到所有的公共SLA模板上。與此同時，還有一些面向多云環(huán)境的服務(wù)質(zhì)量SLA評測也頗受各方關(guān)注。在云平臺的多用戶應(yīng)用環(huán)境中，不同云用戶的不同業(yè)務(wù)流程中，也往往約定著不同的服務(wù)等級目標(biāo)，最重要的設(shè)計目標(biāo)是要確保多SLA模板參數(shù)的一致性，同時也支持動態(tài)SLA協(xié)商、多層次SLA檢測等。為了解決這一問題，能夠支持云間相互遷移的SLA模板[27]設(shè)計方案便應(yīng)運而生，從而在多云平臺環(huán)境下擴(kuò)展了SLA規(guī)范的描述方式。

4 結(jié)束語

云計算可信服務(wù)SLA和云計算可信服務(wù)標(biāo)準(zhǔn)的缺失，導(dǎo)致可信服務(wù)測評的支撐點要素缺乏廣泛的認(rèn)可。服務(wù)評測技術(shù)指標(biāo)是一個龐大的系統(tǒng)工程，現(xiàn)在云計算可信服務(wù)評測技術(shù)沒有統(tǒng)一的標(biāo)準(zhǔn)，各種技術(shù)和手段對評測技術(shù)的可用性、有效性等指標(biāo)的認(rèn)定相互孤立，不同的技術(shù)和手段之間缺乏統(tǒng)一的指標(biāo)去對比或量化優(yōu)劣。因此，建立一個多技術(shù)手段，相互協(xié)同的云計算SLA評測體系即已成為未來研究領(lǐng)域的熱點。

參考文獻(xiàn)：

[1] FOSTER I， ZHAO Yong， RAICU I， et al. Cloud computing and grid computing 360-degree compared [C] // Proceedings of the IEEE Grid Computing Environments （GCE 08）， Austin： IEEE， 2008： 1-10.

[2] SON I， LEE D， LEE J N， et al. Market perception on cloud computing initiatives in organizations： An extended resource-based view[J]. Information and Management， 2014， 51（6）： 653-669.

[3] TSAI W T， SUN Xin， BALASOORIYA J. Service-oriented cloud computing architecture [C] // Proceedings of the 7th International Conference on Information Technology： New Generations， Las Vegas： IEEE， 2010： 684-689.

[4] HOFER C N， KARAGIANNIS G. Cloud computing services： Taxonomy and comparison[J]. Journal of Internet Services and Applications， 2011， 2（2）： 81-94.

[5] MONTES J， SANCHEZ A， MEMISHI B， et al. GMonE： A complete approach to cloud monitoring[J]. Future Generation Compute System， 2013， 29（8）： 2026-2040.

[6] CHEN T Y， YEH H L， WEI H W， et al. An effective monitoring framework and user interface design[J]. Software： Practice and Experience， 2015， 45（5）： 549-570.

[7] SHAO J， WEI H， WANG Q. et al. A runtime model based monitoring approach for cloud [C] // Proceedings of the 2010 IEEE 3rd International Conference on Cloud Computing， Miami： IEEE， 2010： 313-320.

[8] XIONG Pengcheng， CHI Yun， ZHU Shenghuo， et al. SmartSLA： Cost-sensitive management of virtualized resources for CPU-bound database services[J]. IEEE Transactions on Parallel and Distributed Systems， 2015， 26（5）： 1441-1451.

[9] MOLDOVAN D， COPIL G， TRUONG H， et al. Mela： Monitoring and analyzing elasticity of cloud services [C] // Proceedings of the 2013 IEEE 5th International Conference on Cloud Computing Technology and Science （CloudCom 2013）， Bristol： IEEE， 2013： 80-87.

[10] JOSE M. CALER A， AGUADO J G. MonPaaS： An adaptive monitoring platformas as a service for cloud computing infrastructures and services[J]. IEEE Transactions on Services Computing， 2015， 8（1）： 65-78.

[11] JAMAIL N S M， ATAN R， ABDULLAH R， et al. Development of SLA monitoring tools based on proposed DMI in cloud computing[J]. TMLAI Transactions on Machine Learning and Artificial Intelligence， 2015， 3（1）： 1-7.

[12] EMEAKAROHA V C， FERRETO T C， NETTO M A S， et al. CASViD： Application level monitoring for SLA violation detection in clouds [C] // Proceedings of the 2012 36th IEEE Annual Computer Software and Applications Conference （COMPSAC 2012）， Izmir： IEEE， 2012： 499-508.

[13] HOULIHAN R， DU Xiaojiang， TAN C C， et al. Auditing cloud service level agreement on VM CPU speed [C] // Proceedings of the 2014 IEEE International Conference on Communications （ICC 2014）， Sydney： IEEE， 2014： 799-803.

[14] HUANG Qiang， YE Lin， LIU Xinran， et al. Auditing CPU performance in public cloud [C] // Proceedings of the 2013 IEEE 9th World Congress on Services （SERVICES 2013）， Santa Clara： IEEE， 2013： 286-289.

[15] DAN A， DAVIS D， KEARNEY R， et al. Web services on demand： WSLA-driven automated management [J]. IBM Systems Journal， 2004， 43（1）： 136-158.

[16] A. Andrieux， K. Czajkowski， A. Dan， et al. Web Services Agreement Specification （WS-Agreement） [EB/OL]. [2015-06-10]. http：//www.ogf.org/documents/GFD.107.pdf.

[17] SKENE J， LAMANNA D D， EMMERICH W. Precise service level agreements [C] // Proceedings of the 26th International Conference on Software Engineering （ICSE 04）， Edinburgh： IEEE， 2004： 179-188.

[18] TOSIC V， PATEL K， PAGUREK B. WSOL-Web service offerings language [C] // Proceedings of the Workshop on Web Services， e-Business， and the Semantic Web， Toronto： Springer， 2002： 57-67.

[19] PASCHKE A. RBSLA a declarative rule-based service level agreement language based on RuleML [C] // Proceedings of the International Conference on Computational Intelligence for Modelling， Control and Automation， Vienna： IEEE， 2005： 308-314.

[20]W3C WS-Policy. Web Services Policy Framework.v1.2 [EB/OL]. [2015-05-22]. http：//www.w3.org/Submission/WS-Policy.

[21] ZULKERNINE F， MARTIN P， CRADDOCK C， et al. A policy-based middleware for Web Services SLA negotiation [C] // Proceedings of the IEEE International Conference on Web Services （ICWS 09）， Los Angeles： IEEE， 2009： 1043-1050.

[22] FAKHFAKH K， CHAARI T， TAZI S， et al. A comprehensive ontology-based approach for SLA obligations monitoring [C] // Proceedings of the 2nd Advanced Engineering Computing and Applications in Sciences （ADVCOMP 08）， Valencia： IEEE， 2008： 217-222.

[23] SERRANO D， BOUCHENAK S， KOUKI Y， et al. SLA guarantees for cloud services[J]. Future Generation Computer Systems， 2015. （Available online 17 April 2015）

[24] GARCIA A G， BLANQUER I. Cloud services representation using SLA composition[J]. Journal of Grid Computing， 2015， 13（1）： 35-51.

[25] KERTESZ A， KECSKEMETI G， BRANDIC I. An SLA-based resource virtualization approach for on-demand service provision [C] // Proceedings of the 3rd International Workshop on Virtualization Technologies in Distributed Computing （VTDC 09）， Barcelona： ACM， 2009： 27-34.

[26] FAROKHI S. Towards an SLA-based service allocation in multi-cloud environments [C] // Proceedings of the 2014 14th IEEE/ACM International Symposium on Cluster， Cloud and Grid Computing， Chicago： IEEE， 2014： 591-594.

[27] FALASI A A， SERHANI M A， DSSOULI R. A model for multi-levels SLA monitoring in federated cloud environment [C] // Proceedings of the 2013 IEEE 10th International Conference on Ubiquitous Intelligence & Computing and 2013 IEEE 10th International Conference on Autonomic & Trusted Computing， Vietri sul Mare， IEEE， 2013： 363-370.