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