UML et technologie synchrone pour les systèmes réactifs distribués

UML (Unified Modeling Language) rend tres aisee la modelisation alors que la technologie synchrone convient a la mise en oeuvre. Nous visons a construire une passerelle entre les deux et a proposer un nouveau processus de developpement pour les systemes reactifs distribues. Dans cette these, nous nous concentrons sur le traitement de diagrammes d'etats. Nous proposons une nouvelle structure de diagrammes d'etats, base sur laquelle nous introduisons deux nouvelles notions : la trame et la reduction. La semantique d'un etat-ou est alors simplement un choix entre sa trame et sa reduction. Nous proposons ainsi une nouvelle methode pour traduire des diagrammes d'etats vers le langage BDL (Behaviour Description Language). Cette traduction donne reellement une semantique complete et formelle des diagrammes d'etats d'UML. En parallele, nous proposons un nouveau formalisme BE (Behaviour Expression), sa semantique formelle et son mecanisme de compilation. Tous les elements theoriques presentes dans la these sont egalement realises : la traduction des diagrammes d'etats vers BDL et vers BE ; la compilation de BE en SIGNAL et en C ; et les interfaces de ces outils avec la plate-forme UMLAUT.