中文摘要：

首先针对传统网络形式化描述语言的局限性，提出了一种新型网络体系结构描述语言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.