ADL提供了一种形式化机制来描述软件体系结构，大多数ADL不进描述系统的静态结构，也支持对体系结构动态性的描述。