DEA "INFORMATIQUE : SYSTEMES & COMMUNICATIONS"
ANNEE 1997/1998
 
 

 PROPOSITION DE PROJET

 
 
 

RESPONSABLE : Muriel Jourdan

 

TEL : 04.76.61.53.58

ADRESSE ELECTRONIQUE : Muriel.jourdan@inrialpes.fr

LABORATOIRE ET EQUIPE : Projet Opéra INRIA Rhône-Alpes

655 avenue de l'Europe, 38330 Montbonnot St Martin

TITRE : Extensions de l'expressivité du scénario temporel d'un document multimédia

 

RESUME :

Le projet Opéra a pour thème général les applications de traitement des documents électroniques. Un des axes de recherche plus précisément abordés concerne la définition d'un environnement d'édition/présentation de documents multimédia nommé MADEUS. Les travaux de recherche sur cette thématique concernent pour une grande part la façon dont est spécifiée l'organisation temporelle d'un document multimédia : la façon dont les divers éléments qui composent le document s'enchainent dans le temps. On appelle scénario temporel cette spécification. Plusieurs approches sont proposées dans la communauté pour sa description: approches impératives (langages de scripts, réseau de Pétri, axes temporels absolus, ...) ou approches déclaratives (contraintes d'intervalles, contraintes d'instants).

Le projet Opéra s'inscrit dans les approches déclaratives et plus précisément offre un langage de description du scénario temporel fortement inspiré de la logique d'Allen. L'analyse de ce langage comprend deux traitements : la vérification de la cohérence du scénario temporel (existence d'au moins une solution satisfaisant l'ensemble des contraintes) et la recherche d'une solution. Si on se restreint aux opérateurs d'Allen ces deux phases ne posent pas de problèmes ni d'un point de vue théorique (sémantique exprimée en termes d'inéquations linéaires), ni d'un point de vue algorithmique (utilisation d'un algorithme de consistance de chemin). Par contre, il apparaît clairement que ce langage est trop restrictif. Nous proposons dans ce projet de DEA d'étudier deux extensions possibles au langage existant : intégration d'un mécanisme d'encapsulation hiérachique des objets et intégration d'opérateurs d'interruption. Cette étude consiste à définir précisément la sémantique du langage étendu et à offrir les mécanismes de traitement associés (cohérence et recherche de solution).
 

RESULTATS ATTENDUS

 

Pratiques (réalisations)

Intégration dans le prototype Madeus d'une des deux extensions

Théoriques :

Pour chacune des deux extensions :

Défintion de la sémantique du langage étendu

Définition d'un algorithme de vérification de la cohérence du langage étendu

Définition d'un algorithme de calcul d'une solution

Mots-clés:

Documents multimédia, structure hiérarchique, opérateurs d'interruption, satisfaction de contraintes temporelles.