«上一篇/Previous Article|本期目录/Table of Contents|下一篇/Next Article»

《计算机技术与发展》[ISSN:1006-6977/CN:61-1281/TN]

卷:

31

期数:

2021年12期

页码:

105-109

栏目:

系统工程

出版日期:

2021-12-10

文章信息/Info

Title:

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

文章编号:

1673-629X(2021)12-0105-05

作者:

张娓娓¹; 2 ; 李苗钰³ ; 石 梅³ ; 朱省吾³ ; 黄 位³ ; 郭 军⁴

1. 西北大学 物联网研究中心,陕西 西安 710127;

2. 西安思源学院,陕西 西安 710019;

3. 西北大学 信息学院,陕西 西安 710127;

4. 西北大学 京东人工智能与物联网联合研究院,陕西 西安 710127

Author(s):

ZHANG Wei-wei¹; 2 ; LI Miao-yu³ ; SHI Mei³ ; ZHU Sheng-wu³ ; HUANG Wei³ ; GUO Jun⁴

1. Internet of Things Research Center,Northwest University,Xi’an 710127,China;

2. Xi’an Siyuan University,Xi’an 710019,China;

3. School of Information Science and Technology,Northwest University,Xi’an 710127,China;

4. Northwest University-Jingdong Wisdom

关键词:

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

Keywords:

distributed system; scientific and technological resource pool; Pi calculus; interact behavior; data collection

分类号:

TP391

DOI:

10. 3969 / j. issn. 1673-629X. 2021. 12. 018

摘要:

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

Abstract:

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.

常用功能

更新日期/Last Update: 2021-12-10