UML models engineering from static and dynamic aspects of formal specifications

Akram Idani 1
1 VASCO
LIG - Laboratoire d'Informatique de Grenoble
Abstract : While formal methods are focused on some particular parts of software systems, especially secure ones, graphical techniques are the most useful techniques to specify in a comprehensible way large and complex systems. In this paper we deal with the B method which is a formal method used to model systems and prove their correctness by successive refinements. Our goal is to produce graphical UML views from existing formal B specifications in order to ease their readability and then help their external validation. In fact, such views can be useful for various stakeholders in a formal development process: they are intended to support the understanding of the formal specifications by the requirements holders and the certification authorities; they can also be used by the B developers to get an alternate view on their work. In this paper, we propose an MDE framework to support the derivation of UML class and state/transition diagrams from B specifications. Our transformation process is based on a reverse-engineering technique guided by a set of structural and semantic mappings specified on a meta-level.
Type de document :
Communication dans un congrès
14th International Conference on Exploring Modeling Methods for Systems Analysis and Design ; co-located with CaiSE'2009, Springer, LNBIP, 2009, Amsterdam, The, Netherlands. 29, pp.237-250, 2009, 〈10.1007/978-3-642-01862-6_20〉
Liste complète des métadonnées

https://hal.inria.fr/hal-00953588
Contributeur : Catherine Oriat <>
Soumis le : vendredi 28 février 2014 - 13:54:25
Dernière modification le : jeudi 11 octobre 2018 - 08:48:04

Identifiants

Collections

Citation

Akram Idani. UML models engineering from static and dynamic aspects of formal specifications. 14th International Conference on Exploring Modeling Methods for Systems Analysis and Design ; co-located with CaiSE'2009, Springer, LNBIP, 2009, Amsterdam, The, Netherlands. 29, pp.237-250, 2009, 〈10.1007/978-3-642-01862-6_20〉. 〈hal-00953588〉

Partager

Métriques

Consultations de la notice

91