本文關(guān)鍵詞：云計(jì)算中服務(wù)虛擬的形式依賴分析

  更多相關(guān)文章： 依賴結(jié)構(gòu) 服務(wù)虛擬 形式化

【摘要】：建立依賴結(jié)構(gòu)形式化模型,以依賴結(jié)構(gòu)為建�；A(chǔ),結(jié)合該模型定義符合虛擬特性的服務(wù)虛擬,研究在某些操作下服務(wù)虛擬的代數(shù)性質(zhì),并討論服務(wù)虛擬的正確性問(wèn)題,為利用形式化模型建模虛擬服務(wù)管理及云服務(wù)虛擬中間件提供理論基礎(chǔ).
【作者單位】： 福建師范大學(xué)數(shù)學(xué)與計(jì)算機(jī)科學(xué)學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61175123) 福建省自然科學(xué)基金資助項(xiàng)目(2014J01221)
【分類號(hào)】：TP393.09
【正文快照】： 云計(jì)算是由分布式計(jì)算、并行處理、網(wǎng)格計(jì)算發(fā)展來(lái)的一種新興的商業(yè)計(jì)算模型.虛擬化技術(shù)是云計(jì)算系統(tǒng)的核心組成部分之一,是將各種計(jì)算及存儲(chǔ)資源充分整合和高效利用的關(guān)鍵技術(shù).云計(jì)算為基于虛擬的分布式計(jì)算提供了一種新的范型(paradigm).這種范型集中于服務(wù)的抽象化技術(shù),并

【相似文獻(xiàn)】

中國(guó)期刊全文數(shù)據(jù)庫(kù) 前10條

1 那麗春，孟繁云，，陳慶奎;復(fù)雜表的形式化模型及其實(shí)現(xiàn)[J];黑龍江大學(xué)自然科學(xué)學(xué)報(bào);1998年03期

2 丁松陽(yáng);張墨華;;二進(jìn)制翻譯形式化模型[J];電腦與電信;2007年09期

3 穆學(xué)剛;張曙光;董金明;江華偉;;一種程序設(shè)計(jì)形式化模型[J];信息系統(tǒng)工程;2012年12期

4 李臘元;通信協(xié)議形式化模型的研究[J];計(jì)算機(jī)學(xué)報(bào);1998年05期

5 楊鵬,吳家皋;網(wǎng)絡(luò)服務(wù)體系結(jié)構(gòu)及其形式化模型的研究[J];計(jì)算機(jī)研究與發(fā)展;2005年07期

6 韓繼紅;范鈺丹;王亞弟;郭淵博;;一種基于語(yǔ)義的安全協(xié)議形式化模型[J];計(jì)算機(jī)科學(xué);2009年02期

7 敖桂文,趙一偉;復(fù)雜表頭的形式化模型[J];信息技術(shù);2000年05期

8 張廣泉,黃正寶,戎玫;網(wǎng)絡(luò)協(xié)議形式化模型的分析與應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;2005年23期

9 卿斯?jié)h ,李改成;公平交換協(xié)議的一個(gè)形式化模型[J];中國(guó)科學(xué)E輯:信息科學(xué);2005年02期

10 謝琦;劉大有;虞強(qiáng)源;陳娟;;定性方向關(guān)系模型研究進(jìn)展[J];計(jì)算機(jī)科學(xué);2006年11期

中國(guó)重要會(huì)議論文全文數(shù)據(jù)庫(kù) 前4條

1 董笑菊;傅育熙;徐賢;;系統(tǒng)生物形式化模型研究綜述[A];2005年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2005年

2 唐善成;;普適計(jì)算中服務(wù)描述的形式化模型[A];2008'中國(guó)信息技術(shù)與應(yīng)用學(xué)術(shù)論壇論文集（二）[C];2008年

3 馬恒太;劉克龍;張楠;;特洛伊木馬協(xié)作隱藏技術(shù)研究[A];全國(guó)網(wǎng)絡(luò)與信息安全技術(shù)研討會(huì)論文集（上冊(cè)）[C];2007年

4 董笑菊;倪佳華;傅育熙;;用進(jìn)程演算建模生物化學(xué)反應(yīng)過(guò)程[A];2006年全國(guó)理論計(jì)算機(jī)科學(xué)學(xué)術(shù)年會(huì)論文集[C];2006年

中國(guó)博士學(xué)位論文全文數(shù)據(jù)庫(kù) 前1條

1 李常寶;基于索引的web服務(wù)發(fā)現(xiàn)研究[D];北京郵電大學(xué);2011年

中國(guó)碩士學(xué)位論文全文數(shù)據(jù)庫(kù) 前10條

1 梁智遠(yuǎn);一種基于帶條件的軌跡的WS-CDL形式化模型研究[D];西南大學(xué);2009年

2 劉丁;隱喻的形式化模型研究[D];長(zhǎng)安大學(xué);2010年

3 王興超;結(jié)合思維狀態(tài)的VSK-Agent形式化模型[D];云南師范大學(xué);2005年

4 張春霞;基于動(dòng)態(tài)邏輯的Agent的形式化模型[D];云南師范大學(xué);2000年

5 丁秋峰;一種電子數(shù)據(jù)可信取證形式化模型[D];南京郵電大學(xué);2012年

6 丁曉波;Web服務(wù)的形式化模型的研究[D];南京航空航天大學(xué);2007年

7 孫瑜;基于VSK-AF邏輯的多Agent系統(tǒng)的形式化模型[D];云南師范大學(xué);2002年

8 伍曉敏;基于VSK-t邏輯的Agent形式化模型[D];云南師范大學(xué);2004年

9 章江花;基于BDI-VSK-T邏輯的Agent系統(tǒng)形式化模型的研究[D];云南師范大學(xué);2006年

10 尹紅麗;基于時(shí)序邏輯的協(xié)商公理體系多Agent系統(tǒng)的形式化模型[D];云南師范大學(xué);2004年

本文編號(hào)：1184228