Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00107777
Contributor : Publications Loria <>
Submitted on : Thursday, October 19, 2006 - 9:08:55 AM
Last modification on : Friday, February 26, 2021 - 3:28:04 PM
Long-term archiving on: : Wednesday, March 29, 2017 - 1:15:17 PM

Identifiers

  • HAL Id : inria-00107777, version 1

Collections

Citation

Houda Fekih, Leila Jemni, Stephan Merz. Transformation des spécifications B en des diagrammes UML. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADL'2004, Université de Franche-Comté, 2004, Besançon, France, pp.131-145. ⟨inria-00107777⟩

Share

Metrics

Record views

488

Files downloads

654