On the correctness of multimedia applications

This paper provides a method to verify that the properties we consider critical to build a correct multimedia application are met. These properties are the compatibility of the protocols employed by the computing elements to interact with each other and the timeliness of the application. The method relies on (i) an original model that enables a software architect to specify the basic elements of its multimedia application according to the two aforementioned properties, and (ii) two algorithms that determine the best level of perceived quality of service that can be guaranteed by the application.