Abstract: Service Oriented Architecture（SOA）is an Internet-Oriented distributed software architecture.In SOA，the coarse-
grained，discoverable，loosely coupled，autonomous services are its basic constitutional units.Based on the high-order multi-type π calculus theory and XML language，this paper proposes SO-DADL，a dynamic architecture description language for SOA.SO-DADL specifies the interfaces，behavior，semantics and quality properties of services，provides mechanisms to model and analyze the dynamic and evolving architecture，and supports architecture-based service composition，How SO-DADL can be used is illustrated through a case study in this paper.

Key words: Software architecture, Service Oriented Architecture（SOA）, Architecture Description Language（ADL）, service, high-order multi-type π-calculus, dynamic behavior

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

关键词: 软件体系结构, 面向服务的架构, 体系结构描述语言（ADL）, 服务, 高阶多型π-演算, 动态行为