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

par Yunming Wang

Thèse de doctorat en Informatique

Sous la direction de Paul Le Guernic.

Soutenue en 2001

à Rennes 1 .


  • 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.


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 248 p.
  • Notes : Publication autorisée par le jury
  • Annexes : Bibliogr. : 52 réf.

Où se trouve cette thèse\u00a0?

  • Bibliothèque : Université de Rennes 1. Service commun de la documentation. BU Beaulieu.
  • Disponible pour le PEB
  • Cote : TA Rennes 2001/103

Cette version existe également sous forme de microfiche :

  • Bibliothèque : Université de Lille. Service commun de la documentation. Bibliothèque universitaire de Sciences Humaines et Sociales.
  • Non disponible pour le PEB
  • Cote : 2001REN10027
  • Bibliothèque : Université Paris-Est Créteil Val de Marne. Service commun de la documentation. Section multidisciplinaire.
  • PEB soumis à condition
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.