| Dans cette recherche, nous traitons la conception logiciel de systèmes multimodaux. Elle met la lumière sur les principaux facteurs mis en jeux: la fusion des médias, et l'intervention du paramètre temps.; Plusieurs architectures dans le domaine des Interfaces Personne-Machine proposent des méthodes traitant cette fusion. Notre attention portera sur l'architecture SPECIMEN, un outil de spécification des interactions multimodales développé à l'Université de Parie-XI. Il repose sur une combinaison de spécifications par des réseaux de transitions augmentés et de spécification de messages à l'aide d'opérateurs de composition, permettant la description des actions séquentielles et parallèles.; Pour formaliser les spécifications de cette architecture, nous avons utilisé le langage de modélisation UML, à concepts orienté-objet, qui rend l'architecture plus claire et précise.; Cependant, UML présente des limites quant à la définition de contraintes de spécifications. Nous nous sommes orientés alors vers le langage formel Z afin de compléter le formalisme de SPECIMEN. |
