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

A Novel Network Architecture Description Language and Its Application to Specify Distributed Streaming Media Service

作　　者：杨鹏[1] 刘业[2] 

机构地区：[1]东南大学计算机科学与工程学院,江苏南京210096 [2]东南大学计算机网络和信息集成教育部重点实验室,江苏南京210096

出　　处：《电子学报》2007年第1期165-169,共5页Acta Electronica Sinica

基　　金：国家自然科学基金(No.90604003);国家973重点基础研究发展规划(No.2003CB314801)

摘　　要：首先针对传统网络形式化描述语言的局限性,提出了一种新型网络体系结构描述语言INSADL,并详细介绍了其设计思想及主要特色.INSADL吸收了软件工程领域近年来的主要研究成果和实践经验,强调将服务和协议两个概念进行明确分离,能有效支持对网络体系结构的形式化建模.然后以分布式流媒体服务(DSMS)体系结构的形式化规约为例,对INSADL的应用进行了探讨.通过对DSMS体系结构中的实体构件、交互连接件、体系结构配置等的规约和分析,验证了INSADL的形式化建模和体系结构分析能力.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.

关 键 词：网络体系结构 体系结构描述语言 INSADL 流媒体服务 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]