Transformation des spécifications B en des diagrammes UML

Houda Fekih 1 Leila Jemni Stephan Merz 1
1 MOSEL - Proof-oriented development of computer-based systems
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Les méthodes formelles et semi-formelles de conception de systèmes informatiques mettent en avant différents concepts principaux de développement. Plusieurs travaux se sont déjà intéressés à la formalisation des méthodes semi-formelles par des méthodes formelles telle que la formalisation de UML par B. L'objectif de ces travaux est surtout de pouvoir vérifier formellement les propriétés attendues du système. Dans cet article, nous étudions le schéma réciproque. Nous voulons représenter des spécifications B par des modèles UML afin d'obtenir une meilleure documentation et lisibilité en bénéficiant des concepts de structuration présents en UML. Nous présentons des éléments d'une transformation interactive guidant le concepteur à générer une représentation naturelle de son modèle. L'objectif global de ce travail est de pouvoir établir une démarche où les représentations en UML et en B constituent deux vues complémentaires d'un même système en offrant à l'utilisateur la possibilité de naviguer entre ces deux vues et de pouvoir choisir le langage le plus adapté. || Formal and informal methods of system design emphasize different development concepts. Previous work has already considered formalizing semi-formal methods, such as formalization of UML using the B method. The objective is in those cases mainly on formal
Type de document :
Communication dans un congrès
Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, Impression Burs, pp.131-145, 2004
Liste complète des métadonnées

https://hal.inria.fr/inria-00107777
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:08:55
Dernière modification le : jeudi 11 janvier 2018 - 06:19:52
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:15:17

Identifiants

  • HAL Id : inria-00107777, version 1

Collections

Citation

Houda Fekih, Leila Jemni, Stephan Merz. Transformation des spécifications B en des diagrammes UML. Jacques Julliand. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, 2004, Besançon, France, Impression Burs, pp.131-145, 2004. 〈inria-00107777〉

Partager

Métriques

Consultations de la notice

315

Téléchargements de fichiers

497