本文關鍵詞：基于語義擴展類型論的云服務替換性判定研究

  更多相關文章： 云服務 類型理論 會話類型 服務替換

【摘要】：云計算環(huán)境下服務的動態(tài)性和易失效性是云應用的重要挑戰(zhàn),服務替換是其主要對策和關鍵研究問題。在類型論的支持下提出了一種新的云服務替換判定方法,該方法首先對會話類型論進行語義擴展以建模云服務行為,設計了典型云服務QoS類型實現服務質量判斷,然后構造了語義會話類型和QoS類型的各子類型規(guī)則,最后以此完成了服務一致性和上下文兼容性命題判定與實施。通過應用判定實例展示和實驗效果分析,表明該判定方法可行,并能為組合服務應用帶來更高的執(zhí)行成功率。
【作者單位】： 華南師范大學教育信息技術學院;廣東科學技術職業(yè)學院藝術設計學院;浙江大學電子服務研究中心;
【關鍵詞】： 云服務 類型理論 會話類型 服務替換
【基金】：國家自然科學基金資助項目(No.61370229,No.61370178) 國家科技支撐計劃基金資助項目(No.2013BAH72B01) 教育部-中國移動基金資助項目(No.MCM20130651) 廣東省自然科學基金資助項目(No.S2013010015178) 廣東省科技計劃基金資助項目(No.2014B010103004,No.2014B010117007,No.2015A030401087,No.2015B010110002) 廣東省教育廳科技創(chuàng)新基金資助項目(No.2012KJCX0037) 廣州市科技基金資助項目(No.2014Y2-00006)~~
【分類號】：TP393.09
【正文快照】： 1引言在云計算環(huán)境下,服務作為一種基本的計算實體在云應用中起著至關重要的作用[1]。在實際的業(yè)務應用中,由于云平臺及應用的可伸縮性、可移動云服務本身的不確定性,導致服務呈現高度動態(tài)Foundation Items:The National Natural Science Foundation of China(No.61370229,No.，

本文編號：1014361