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

• 作者: 刘业 杨鹏
• 来源期刊: 电子学报
• 学科: 工学
• 关键词: 网络体系结构 体系结构描述语言 INSADL 流媒体服务
• 年，卷（期）: 2007,（1）
• 所属期刊栏目: 科研通信
• 页码范围: 165-169
• 页数: 5页
• 分类号: TP393
• 字数: 4226字
• 语种: 中文
• DOI: 10.3321/j.issn:0372-2112.2007.01.035

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘业	东南大学计算机网络和信息集成教育部重点实验室	24	258	8.0	15.0
2	杨鹏	东南大学计算机科学与工程学院	52	510	13.0	21.0