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

• 网络、通信与安全 • 上一篇    下一篇

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

冯烟利1,余镇危2,潘 耘3   

  1. 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-li1,YU Zhen-wei2,PAN Yun3   

  1. 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: 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