基于进程代数的网络体系结构形式化模型

计算机工程与应用 ›› 2007, Vol. 43 ›› Issue (24): 155-157.

基于进程代数的网络体系结构形式化模型

冯烟利¹，余镇危²，潘耘³

1.山东工商学院计算机基础教学部，山东烟台 264005
2.中国矿业大学（北京校区）计算机学院，北京 100083
3.中国传媒大学计算机学院，北京 100024

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2007-08-21 发布日期:2007-08-21
通讯作者: 冯烟利

Formal network architecture model based on process algebra

FENG Yan-li¹，YU Zhen-wei²，PAN Yun³

1.Department of Computer，Shandong Institute of Business and Technology，Yantai，Shandong 264005，China
2.School of Computer，China University of Mining and Technology-Beijing，Beijing 100083，China
3.School of Computer，Communication University of China，Beijing 100024，China

Received:1900-01-01 Revised:1900-01-01 Online:2007-08-21 Published:2007-08-21
Contact: FENG Yan-li

摘要/Abstract

摘要： 首先用形式化方法给出了网络实体、网络连接件和网络体系结构框架模型的定义，然后利用进程代数理论定义了网络体系结构上的网络实体运算，进而建立了网络体系结构的代数模型，为进一步研究网络体系结构打下了坚实的理论基础。

关键词: 网络实体, 网络体系结构, 进程代数

Abstract: First formally give the definition of network entity，network connector and network architecture framework model，and define the entity operation of network architecture on process algebra theory.Furthermore，the network architecture algebra model has been built.Then set a theoretical foundation for the further research of network architecture.

Key words: network entity, network architecture, process algebra

冯烟利¹，余镇危²，潘耘³. 基于进程代数的网络体系结构形式化模型[J]. 计算机工程与应用, 2007, 43(24): 155-157.

FENG Yan-li¹，YU Zhen-wei²，PAN Yun³. Formal network architecture model based on process algebra [J]. Computer Engineering and Applications, 2007, 43(24): 155-157.

[1]	柴磊，王智学，何明. 指挥控制协同能力需求体系形式化框架[J]. 计算机工程与应用, 2020, 56(5): 49-56.
[2]	蒋溢1，2，罗宇豪1，朱恒伟1. Storm集群下一种基于Topology的任务调度策略[J]. 计算机工程与应用, 2018, 54(7): 84-88.
[3]	马艳芳1，2，陈亮3. 基于部分交互的软件近似度量模型[J]. 计算机工程与应用, 2014, 50(24): 32-37.
[4]	马艳芳1，2，陈亮3. 基于ε-互模拟的软件近似正确性模型[J]. 计算机工程与应用, 2013, 49(11): 15-19.
[5]	杨毅，王黎明. RASA的多Agent交互协议研究[J]. 计算机工程与应用, 2010, 46(28): 232-235.
[6]	黎升洪. Web服务编排中信息对齐交互建模方法研究[J]. 计算机工程与应用, 2010, 46(2): 11-13.
[7]	陆一飞,陶军. 基于知识基础的多交互面网络体系结构[J]. 计算机工程与应用, 2007, 43(27): 4-7.