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

来源：计算机技术与发展杂志2021年第12期北京时间：

作者：张娓娓;';李苗钰;石梅;朱省吾;黄位;郭军

单位：1. 西北大学 物联网研究中心,陕西 西安 710127;2. 西安思源学院,陕西 西安 710019;3. 西北大学 信息学院,陕西 西安 710127;4. 西北大学 京东人工智能与物联网联合研究院,陕西 西安 710127

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

关键词：分布式系统;科技资源池;Pi 演算;交互行为;数据汇聚