云计算中服务虚拟的形式依赖分析 |
| |
引用本文: | 杨启帆,吴亚洲,蒋建民,张仕.云计算中服务虚拟的形式依赖分析[J].福建师范大学学报(自然科学版),2015(2):24-31. |
| |
作者姓名: | 杨启帆 吴亚洲 蒋建民 张仕 |
| |
作者单位: | 福建师范大学数学与计算机科学学院 |
| |
基金项目: | 国家自然科学基金资助项目(61175123);福建省自然科学基金资助项目(2014J01221) |
| |
摘 要: | 建立依赖结构形式化模型,以依赖结构为建模基础,结合该模型定义符合虚拟特性的服务虚拟,研究在某些操作下服务虚拟的代数性质,并讨论服务虚拟的正确性问题,为利用形式化模型建模虚拟服务管理及云服务虚拟中间件提供理论基础.
|
关 键 词: | 依赖结构 服务虚拟 形式化 |
本文献已被 CNKI 等数据库收录! |
|