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)

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)

更新时间：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)
- Acta Electronica Sinica Vol. 35, Issue 1, Pages: 165-169(2007)
- 作者机构：
  
  1. 东南大学计算机科学与工程学院,江苏,南京,210096
  2. 东南大学计算机网络和信息集成教育部重点实验室,江苏,南京,210096
  3. 东南大学计算机科学与工程学院江苏南京,210096
  4. 东南大学计算机网络和信息集成教育部重点实验室江苏南京,210096
- 作者简介：
- 基金信息：
- DOI：
  CLC： TP393
- Published：2007
- 稿件说明：
移动端阅览
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：

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

Views

1122

下载量

CSCD

Alert me when the article has been cited

提交

Tools

Publicity Resources

Multiple Objective Oriented Integrated Network Architecture

An Interaction Based,Service Oriented Model of Network Architecture (Key Laboratory of Computer Network and Information Integration,Ministry of Education,Nanjing,Jiangsu 210096,China)

Service Unit Based Network Architecture and Its Micro-Communication Element System

Hierarchical Message Bus-Based Software Architecture Description Language

Related Author

CUI Yong

ZHANG Lei

MA Chuan

YANG Peng

WU Jia-gao

ZENG Jia-zhi

XU Jie

WU Yue

Related Institution

Department of Computer and Technology， Tsinghua University

Zhongguancun Laboratory

Southeast University

School of Computer Science and Engineering UESTC

Department of Computer Science and Technology,Peking University

⁰

DOI：

摘要

Abstract

关键词

Keywords

references