The increasing number of multimedia applications has motivated the construction of platforms with end-to-end Quality of Service (QoS) support. This work proposes the use of Wright architecture description language (ADL) in the QoS provisioning domain, as the basis for the formal verification of QoS system properties. To smooth this task, the LindaQoS domain-specific language was designed as a high-level notation for the specification of resource (QoS) orchestration. As a result of this approach, we expect that designers can define clear and unambiguous instantiated platforms, with support to multimedia application implementations, in a reduced development time.