automatic diagnosis of SMIL document

Dear all,
I am a senior researcher at INRIA. I work with a student on automatic
diagnosis of multimedia document (like SMIL one for instance). We would
like first to identify which kind of diagnosis would be really helpful
for the designer of multimedia documents and after that to experiment
some technics of formal verification of programs on SMIL documents. 
Concerning the first step of our work, it is really important for us to 
know the real needs of multimedia designers.
We have already identify some kind of diagnosis like : 
* give the list of objects that :
    - are never played whatever the user interactions are (i.e. their
start points are not reachable)
    - once started are never stopped
    - can be hidden by other objects (they overlap both in time and
space)
* give  audio objects that could  overlap in time   

We only focus in this work on diagnosis that are linked with the
temporal behavior of the document and that are meaningful whatever the
document is. 

If you want to help us : 
- tell us if we think about another diagnosis 
- tell us if the diagnosis that we proposed are relevant and with wich
degree of importance.

Great thanks for your help,
Muriel Jourdan & Djalel Chefrour

   
-- 
__________________________________________________
            Muriel.Jourdan@inrialpes.fr
Tel : 04.76.61.53.58            Fax : 04.76.61.52.07
        Unite de Recherche INRIA Rhone-Alpes,
     projet OPERA ( http://www.inrialpes.fr/opera )
          ZIRST, 655 avenue de l'Europe,
       38330 MONTBONNOT SAINT MARTIN, FRANCE

Received on Wednesday, 31 January 2001 07:58:30 UTC