云计算中服务虚拟的形式依赖分析

发布时间：2017-11-14 06:22

  本文关键词：云计算中服务虚拟的形式依赖分析

  更多相关文章： 依赖结构 服务虚拟 形式化

【摘要】：建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
【作者单位】： 福建师范大学数学与计算机科学学院;
【基金】：国家自然科学基金资助项目(61175123) 福建省自然科学基金资助项目(2014J01221)
【分类号】：TP393.09
【正文快照】： 云计算是由分布式计算、并行处理、网格计算发展来的一种新兴的商业计算模型.虚拟化技术是云计算系统的核心组成部分之一,是将各种计算及存储资源充分整合和高效利用的关键技术.云计算为基于虚拟的分布式计算提供了一种新的范型(paradigm).这种范型集中于服务的抽象化技术,并

【相似文献】

中国期刊全文数据库 前10条

1 那丽春，孟繁云，，陈庆奎;复杂表的形式化模型及其实现[J];黑龙江大学自然科学学报;1998年03期

2 丁松阳;张墨华;;二进制翻译形式化模型[J];电脑与电信;2007年09期

3 穆学刚;张曙光;董金明;江华伟;;一种程序设计形式化模型[J];信息系统工程;2012年12期

4 李腊元;通信协议形式化模型的研究[J];计算机学报;1998年05期

5 杨鹏,吴家皋;网络服务体系结构及其形式化模型的研究[J];计算机研究与发展;2005年07期

6 韩继红;范钰丹;王亚弟;郭渊博;;一种基于语义的安全协议形式化模型[J];计算机科学;2009年02期

7 敖桂文,赵一伟;复杂表头的形式化模型[J];信息技术;2000年05期

8 张广泉,黄正宝,戎玫;网络协议形式化模型的分析与应用[J];计算机工程与应用;2005年23期

9 卿斯汉 ,李改成;公平交换协议的一个形式化模型[J];中国科学E辑:信息科学;2005年02期

10 谢琦;刘大有;虞强源;陈娟;;定性方向关系模型研究进展[J];计算机科学;2006年11期

中国重要会议论文全文数据库 前4条

1 董笑菊;傅育熙;徐贤;;系统生物形式化模型研究综述[A];2005年全国理论计算机科学学术年会论文集[C];2005年

2 唐善成;;普适计算中服务描述的形式化模型[A];2008'中国信息技术与应用学术论坛论文集（二）[C];2008年

3 马恒太;刘克龙;张楠;;特洛伊木马协作隐藏技术研究[A];全国网络与信息安全技术研讨会论文集（上册）[C];2007年

4 董笑菊;倪佳华;傅育熙;;用进程演算建模生物化学反应过程[A];2006年全国理论计算机科学学术年会论文集[C];2006年

中国博士学位论文全文数据库 前1条

1 李常宝;基于索引的web服务发现研究[D];北京邮电大学;2011年

中国硕士学位论文全文数据库 前10条

1 梁智远;一种基于带条件的轨迹的WS-CDL形式化模型研究[D];西南大学;2009年

2 刘丁;隐喻的形式化模型研究[D];长安大学;2010年

3 王兴超;结合思维状态的VSK-Agent形式化模型[D];云南师范大学;2005年

4 张春霞;基于动态逻辑的Agent的形式化模型[D];云南师范大学;2000年

5 丁秋峰;一种电子数据可信取证形式化模型[D];南京邮电大学;2012年

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

7 孙瑜;基于VSK-AF逻辑的多Agent系统的形式化模型[D];云南师范大学;2002年

8 伍晓敏;基于VSK-t逻辑的Agent形式化模型[D];云南师范大学;2004年

9 章江花;基于BDI-VSK-T逻辑的Agent系统形式化模型的研究[D];云南师范大学;2006年

10 尹红丽;基于时序逻辑的协商公理体系多Agent系统的形式化模型[D];云南师范大学;2004年

本文编号：1184228