{'fraction_non_alphanumeric': 0.02011125374411639, 'fraction_numerical': 0.0038510911424903724, 'mean_word_length': 5.604519774011299, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
A Formal Approach for an Environment-aware Verification of the Consistency of a Multimedia Presentation

Abstract We propose in this paper a formal methodology that makes it possible to check whether a multimedia presentation could behave consistently when it is processed in a resource-limited environment. The approach uses the TSPN model to specify the resource constraints of the environment as well as the time and the synchronization requirements of the presentation. A graph is then built from this specification to check over its consistency. Hence it becomes possible to manage more efficiently the resource availability, and to adapt the content of the presentation so that the latter can be performed consistently under the given environment constraints. Keywords: Consistency verification, Multimedia authoring, Petri nets, Reachability graph. 1. Introduction Distributed multimedia applications become nowadays a useful medium to provide a rapid and a pervasive access to friendly-authored multimedia presentations. They are applicable in various domains such as education, advertising, entertainment and communication. To describe such applications, many standards have been defined and the most dominant reference on the Internet is the SMIL (Synchronized Multimedia Integration Language) language [6]. The objects requested in such a document are referenced throughout its code and their data are located widespread over a wide area network. Moreover, these applications often have complex requirements on quality of service and temporal order among media streams. Hence, the design and the implementation of these requirements are inherently complex and present an extraordinary design and programming challenge. For this effect, formal methods have been widely used to overcome these issues [4][5][9][12][14]. These methodologies assist the author in building a consistent multimedia code according to user-requirements by checking whether the latter are conflicting or not. However, these techniques still remains incomplete and not efficient as they do not take into account the needs of these presentations in terms of resources; actually they consider that the environment under which the presentation will be processed provides enough resources to deliver its content in time. However, as the environment resources