面向服务的架构（SOA）是一种基于Internet的分布式软件体系结构。在SOA中，粗粒度的，可发现的，松散耦合的，自治的服务是其基本的结构单位。基于高阶多型π演算理论和XML语言，提出了一种基于SOA架构的动态体系结构描述语言SO-DADL。SO-DADL指定服务的接口、行为、语义和质量特性，提供了对动态和不断演化的结构建模和分析的机制，并支持基于架构的服务组合和运行时动态演化，用案例说明了SO-DADL的应用。