A formal semantics of SMIL: a web standard to describe multimedia documents |
| |
Authors: | Muriel |
| |
Affiliation: | Opéra Project, INRIA Rhône-Alpes, 655 av. de l'Europe, 38320 Montbonnot, France |
| |
Abstract: | This paper presents a formal semantics of a subset of SMIL2.0: a W3C recommendation to describe interactive multimedia documents on the Web. This work has been used during the design of this standard to improve its consistency. It is also intended to help SMIL developers to understand the specification. Doing so, it will contribute to increase SMIL chances of success in achieving the interoperability goal and, thus, its impact on the new information society. |
| |
Keywords: | Multimedia documents SMIL Interoperability Formal semantics Temporal automata |
本文献已被 ScienceDirect 等数据库收录! |
|