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

摘要：

建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.

关键词：依赖结构、服务虚拟、形式化

所属期刊栏目：31

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61175123;福建省自然科学基金资助项目2014J01221

在线出版日期：2015-04-17（万方平台首次上网日期，不代表论文的发表时间）

页码：24-31