A Novel Network Architecture Description Language and Its Application to Specify Distributed Streaming Media Service
Ye Liu · 2007
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.