This paper presents a formal approach for the design of SMIL documents into a language based on time Petri net (ATN: Algebraic Time Net). The obtained ATNs model is then translated to an equivalent time graph, which describes all possible scenario, and gives for each multimedia sub sequence its minimum and maximum durations. This can be used to guarantee a consistent presentation for the client player and to improve the multimedia servers QoS, by implementing a dynamic scheduling politics.
展开▼