Bandeau global Bandeau local
Institut d'Informatique > Prof. Schobbens > Mémoires > Sémantique d'UML2

Mémoire: Sémantique d'UML2

  1. Titre du mémoire

    Sémantique d'UML2.0

  2. Co-promoteurs

    Prof. Patrick Heymans

  3. Description

    UML 2.0 constitue un progrès majeur dans la précision de la définition du langage, mais est encore loin d'avoir une sémantique formelle. Les changements apportés invalident la plupart des sémantiques formelle existantes pour les versions antérieures d'UML. Le mémoire consistera en l'élaboration d'une sémantique pour un sous-ensemble intéressant d'UML. L'ordre suivant est proposé: les Class Diagrams, les Activity Diagrams, les State Diagrams, les Interaction Diagrams. Traiter les deux premiers suffit pour un mémoire acceptable. Si une partie programmation est désirée, des mécanismes de vérification ou de synthèse pourront être définis et implémentés sur base de cette sémantique. Une première version de sémantique est déjà disponible.

  4. Cycle

    Maîtrise
    Licence (cours du jour)
    Licence à horaire décalé


  5. Nombre d'étudiants

    1 ou 2

  6. Lieu(x) de stages

    Prof. Gianna Reggio, Gênes ou Prof. Heinrich Hussmann, Munich (Possible aussi en Angleterre, Australie, etc.)

  7. Prérequis

    Bonne maîtrise des méthodes formelles, aptitudes aux mathématiques.