新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用

杨 鹏; 刘 业

您当前的位置：

首页 >

文章列表页 >

新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用

论文 | 更新时间：2025-07-16

- 新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用
- A Novel Network Architecture Description Language and Its Application to Specify Distributed Streaming Media Service ( 1.School of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Key Laboratory of Computer Network and Information Integration ,Ministry of Education,Nanjing,Jiangsu 210096,China)
- 电子学报 2007年35卷第1期页码：165-169
- 作者机构：
  
  1. 东南大学计算机科学与工程学院,江苏,南京,210096
  2. 东南大学计算机网络和信息集成教育部重点实验室,江苏,南京,210096
  3. 东南大学计算机科学与工程学院江苏南京,210096
  4. 东南大学计算机网络和信息集成教育部重点实验室江苏南京,210096
- 作者简介：
- 基金信息：
  
  国家自然科学基金 (No.90604003);国家973重点基础研究发展规划 (No.2003CB314801)
- DOI：
  中图分类号： TP393
- 纸质出版：2007
- 稿件说明：
移动端阅览
杨鹏, 刘业. 新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用[J]. 电子学报, 2007,35(1):165-169.

YANG Peng, LIU Ye. A Novel Network Architecture Description Language and Its Application to Specify Distributed Streaming Media Service ( 1.School of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Key Laboratory of Computer Network and Information Integration ,Ministry of Education,Nanjing,Jiangsu 210096,China)[J]. Acta Electronica Sinica, 2007, 35(1): 165-169.
杨鹏, 刘业. 新型网络体系结构描述语言及其在分布式流媒体服务规约中的应用[J]. 电子学报, 2007,35(1):165-169. DOI：

YANG Peng, LIU Ye. A Novel Network Architecture Description Language and Its Application to Specify Distributed Streaming Media Service ( 1.School of Computer Science and Engineering,Southeast University,Nanjing,Jiangsu 210096,China;2.Key Laboratory of Computer Network and Information Integration ,Ministry of Education,Nanjing,Jiangsu 210096,China)[J]. Acta Electronica Sinica, 2007, 35(1): 165-169. DOI：

摘要

首先针对传统网络形式化描述语言的局限性

提出了一种新型网络体系结构描述语言INSADL

并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验

强调将服务和协议两个概念进行明确分离

能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例

对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析

验证了INSADL的形式化建模和体系结构分析能力.

Abstract

Aiming at some limitations of traditional network formal description languages

a novel network architecture description language

named INSADL

is proposed and its design philosophy and major characteristics are introduced.By absorbing the main research results and practical experiences of software engineering

INSADL emphasizes on explicitly separating service from protocol that can effectively support the formal modeling of network architecture.As an example of INSADL’s application

how to specify the architecture of distributed streaming media service (DSMS) in INSADL is also introduced and discussed.By describing and analyzing the entity components

interaction connectors and architectural configuration of DSMS architecture

the formal description and architectural analysis capabilities of INSADL are demonstrated and validated.

关键词

Keywords

references

浏览量

1122

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

面向多目标的一体化融合网络体系结构

基于交互、面向服务的新一代网络体系结构模型研究

服务元网络体系结构和微通信元系统构架

基于层次消息总线的软件体系结构描述语言