一种分布式科技资源池架构及其交互行为分析

摘要

科技资源服务是云计算环境下数据服务领域的重要业务之一.但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大障碍.为了解决资源空间分散、业务并发等问题,需要构建基于分布式虚拟化存储技术的科技资源服务业务虚拟化资源池,统一管理资源并提供可靠的数据访问和交互功能.针对这一应用背景,基于云计算理论,在软硬件虚拟化技术的基础上,该文提出了一种分布式虚拟化科技服务资源池多层次模型架构,该模型将资源池应用、汇聚、虚拟和物理层进行了统一描述;在此基础上,利用Pi演算这一描述移动并发系统的数学工具,对所构建的集成化科技资源服务模型的外部行为进行描述,通过Pi演算的推演规则分析系统的交互行为,形式化验证了模型系统数据汇聚和交互行为的安全性和可靠性.提出的模型和取得的研究结果可为实际系统的设计开发提供重要的理论依据和参考.