本文關(guān)鍵詞：基于語(yǔ)義擴(kuò)展類(lèi)型論的云服務(wù)替換性判定研究

  更多相關(guān)文章： 云服務(wù) 類(lèi)型理論 會(huì)話類(lèi)型 服務(wù)替換

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

本文編號(hào)：1014361