655 avenue de l'Europe, 38330 Montbonnot St Martin
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
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.