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

A Distributed Scientific and Technological Resource Pool Architecture and Its Interact Behavior Analysis

作　　者：张娓娓[1,2] 李苗钰 石梅 朱省吾 黄位 郭军[4] ZHANG Wei-wei;LI Miao-yu;SHI Mei;ZHU Sheng-wu;HUANG Wei;GUO Jun(Internet of Things Research Center,Northwest University,Xi’an 710127,China;Xi’an Siyuan University,Xi’an 710019,China;School of Information Science and Technology,Northwest University,Xi’an 710127,China;Northwest University-Jingdong Wisdom Cloud Joint Research Center for AI&IoT,Xi’an 710127,China)

机构地区：[1]西北大学物联网研究中心,陕西西安710127 [2]西安思源学院,陕西西安710019 [3]西北大学信息学院,陕西西安710127 [4]西北大学京东人工智能与物联网联合研究院,陕西西安710127

出　　处：《计算机技术与发展》2021年第12期105-109,共5页Computer Technology and Development

基　　金：国家重点研发计划项目(2017YFB1400301)。

摘　　要：科技资源服务是云计算环境下数据服务领域的重要业务之一。但是,由于科技资源归属单位不同,条块分割,实现跨平台服务与共享存在很大障碍。为了解决资源空间分散、业务并发等问题,需要构建基于分布式虚拟化存储技术的科技资源服务业务虚拟化资源池,统一管理资源并提供可靠的数据访问和交互功能。针对这一应用背景,基于云计算理论,在软硬件虚拟化技术的基础上,该文提出了一种分布式虚拟化科技服务资源池多层次模型架构,该模型将资源池应用、汇聚、虚拟和物理层进行了统一描述;在此基础上,利用Pi演算这一描述移动并发系统的数学工具,对所构建的集成化科技资源服务模型的外部行为进行描述,通过Pi演算的推演规则分析系统的交互行为,形式化验证了模型系统数据汇聚和交互行为的安全性和可靠性。提出的模型和取得的研究结果可为实际系统的设计开发提供重要的理论依据和参考。Scientific and technological resource service is one of the important businesses in the field of data service in cloud computing environment.However,there are still many obstacles to cross-platform service and sharing because scientific and technological resources belong to different units.In order to solve the problems such as resource dispersion and concurrent business,a virtualized scientific and technological resource pools needs to be built based on distributed virtualized storage technology,which can provides unified management,reliable data access and interaction.With the consideration of these cases,we propose a distributed virtualized resource pool model and a technology service framework based on cloud computing theory and hardware/software virtualization technology,which provides a unified description of application service,data collection,virtual and physical layers.As an excellent tool for describing mobile concurrent systems,Pi calculus is employed to describe the external behavior of the proposed scientific and technological resource service model.By analyzing the interaction behavior of the system through Pi deduction rules,the reliability and security of the system is formally verified.The model and the research results can provide valuable theoretical reference for the system design and development.

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

分 类 号：TP391[自动化与计算机技术—计算机应用技术]