A True Concurrency Semantics for Quality of Service Specification and Validation

This paper considers quality of service specification and validation for distributed multimedia systems. We present a new perspective on the LOTOS/QTL approach to such specification and validation. This approach has been previously presented in the context of a standard interleaving model of concurrency. In this paper we motivate the use of an alternative, truly concurrent, semantic model based on bundle event structures and integrate these semantics into the LOTOS/QTL approach. The applicability of the approach is illustrated with a specification of a multimedia stream.