ADL is used to specify a computer network.DORIS were extended with the formal language.

• ADL专用于计算机网络，是DORIS的一种形式语言扩充。