發(fā)布時間：2017-11-14 06:22

  本文關鍵詞：云計算中服務虛擬的形式依賴分析

  更多相關文章： 依賴結構 服務虛擬 形式化

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

【相似文獻】

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

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

2 丁松陽;張墨華;;二進制翻譯形式化模型[J];電腦與電信;2007年09期

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

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

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

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

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

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

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

10 謝琦;劉大有;虞強源;陳娟;;定性方向關系模型研究進展[J];計算機科學;2006年11期

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

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

2 唐善成;;普適計算中服務描述的形式化模型[A];2008'中國信息技術與應用學術論壇論文集（二）[C];2008年

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

4 董笑菊;倪佳華;傅育熙;;用進程演算建模生物化學反應過程[A];2006年全國理論計算機科學學術年會論文集[C];2006年

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

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

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

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

2 劉丁;隱喻的形式化模型研究[D];長安大學;2010年

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

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

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

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

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

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

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

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

本文編號：1184228