Thème "UML et techniques formelles"

UML (langage unifié pour la modélisation) propose un langage pour la modélisation orientée objet, reprenant et unifiant des concepts définis dans des méthodes antérieures (méthode de Booch et OMT). Ce langage se veut généraliste, c'est à dire applicable a tous les types d'application, indépendamment du processus de developpement.

Les exposés présentés tentaient de:

faire le point sur les concepts d'UML, les outils associés disponibles, la normalisation du langage,
évaluer les apports et les limites des moyens de modélisation et d'analyse actuellement disponible
identifier des connexions possibles avec des approches formelles classiques pour modéliser ou valider plus finement certains aspects des spécifications, prendre en compte les aspects temps réel, ...

Programme de la journée

"UML, le MOF et XMI ou l'architecture réflexive de méta-modélisation de l'OMG" par Jean-Bezivin, LRSG, Université de Nantes (résumé, transparents, article)
"Couplage de UML et des Réseaux de Petri pour l'analyse et la conception des systèmes temps réel" par Mario Paludetto, LAAS-CNRS, Toulouse (résumé, documentation (transparents, article))
"Validation et Test d'Applications Réparties Orientées-Objet spécifiées avec UML" par Alain Le Guennec, IRISA, Rennes (résumé, transparents)
"Prototypage d'application temps réel : Potentialités et limites de UML" par Sébastien Gérard (CEA-LETI / PSA) (résumé, transparents)
"Une sémantique formelle pour UML : pourquoi? comment?" par Jean-Michel Bruel, Laboratoire TASC, Universite de Pau et des Pays de l'Adour (résumé, transparents, article)
"Vers l'intégration d'UML et de méthodes formelles" par Yves Ledru (LSR-IMAG, Grenoble) (résumé, transparents)
"Rétro Conception de systèmes avec UML et Z" par Rémi RENON (Altran Technologie) et Michel Lemoine (ONERA/CERT) Toulouse (résumé, transparents)