Le moteur de recherche
des thèses françaises
'%3e%3cpath%20style='fill:%2300a0dc;fill-opacity:1;stroke:none;stroke-width:.144606;stroke-opacity:1;stop-color:%23000'%20d='M41.8%20100.088H52.28c.46%200%20.831.421.831.945v10.25c0%20.524-.37.946-.831.946H41.8c-.46%200-.831-.422-.831-.945v-10.251c0-.524.37-.945.831-.945z'/%3e%3cpath%20d='m47.072%20102.02-4.87%202.656%204.87%202.657%203.985-2.174v3.06h.885v-3.543m-7.969%201.851v1.771l3.1%201.691%203.098-1.691v-1.77l-3.099%201.69z'%20style='fill:%23fff;fill-opacity:1;stroke-width:.442726'/%3e%3ccircle%20style='fill:%23009f1d;fill-opacity:1;stroke:%23fff;stroke-width:.379704;stroke-linecap:round;stroke-linejoin:round;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1;stop-color:%23000'%20cx='54.151'%20cy='101.224'%20r='3.451'/%3e%3cpath%20d='m55.669%2099.387.659.664-3.075%203.104-1.634-1.649.66-.663.974.979%202.416-2.435'%20style='fill:%23fff;fill-opacity:1;stroke:none;stroke-width:.30061;stroke-miterlimit:4;stroke-dasharray:none;stroke-opacity:1'/%3e%3c/g%3e%3c/svg%3e)
UML et technologie synchrone pour les systèmes réactifs distribués
| Auteur / Autrice : | Yunming Wang |
| Direction : | Paul Le Guernic |
| Type : | Thèse de doctorat |
| Discipline(s) : | Informatique |
| Date : | Soutenance en 2001 |
| Etablissement(s) : | Rennes 1 |
Mots clés
Mots clés contrôlés
Mots clés libres
Résumé
UML (Unified Modeling Language) rend très aisée la modélisation alors que la technologie synchrone convient à la mise en oeuvre. Nous visons à construire une passerelle entre les deux et à proposer un nouveau processus de développement pour les systèmes réactifs distribués. Dans cette thèse, nous nous concentrons sur le traitement de diagrammes d'états. Nous proposons une nouvelle structure de diagrammes d'états, basé sur laquelle nous introduisons deux nouvelles notions : la trame et la réduction. La sémantique d'un état-ou est alors simplement un choix entre sa trame et sa réduction. Nous proposons ainsi une nouvelle méthode pour traduire des diagrammes d'états vers le langage BDL (Behaviour Description Language). Cette traduction donne réellement une sémantique complète et formelle des diagrammes d'états d'UML. En parallèle, nous proposons un nouveau formalisme BE (Behaviour Expression), sa sémantique formelle et son mécanisme de compilation. Tous les éléments théoriques présentés dans la thèse sont également réalisés : la traduction des diagrammes d'états 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.