Transformation des spécifications B en des diagrammes UML
Abstract
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