Integrating UML and B Specification Techniques

Hung Ledang 1 Jeanine Souquières 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Abstract : An appropriate approach for integrating UML and B specification techniques allows us to map UML specifications into B specifications. Therefore, we can formally analyze an UML specification via the corresponding B formal specification. This point is significant because B support tools are available. We can also use UML specifications as a tool for building B specifications. Thus, an approach for a practical and rigorous software development, which is based on object and B from the requirements elicitation to the executable code, is proposed. In this paper, we address the problem of modeling UML behavioral diagrams in B, which is up to now an open issue. For this purpose, an approach for modeling in B class operations is proposed. We show a way to apply this approach for integrating collaboration diagrams into B specifications.
Type de document :
Communication dans un congrès
The Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques, Sep 2001, Vienna, Austria, 8 p, 2001
Liste complète des métadonnées

Littérature citée [17 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00107870
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:12:18
Dernière modification le : mardi 24 avril 2018 - 13:36:29
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:07:35

Identifiants

  • HAL Id : inria-00107870, version 1

Collections

Citation

Hung Ledang, Jeanine Souquières. Integrating UML and B Specification Techniques. The Informatik 2001 Workshop on Integrating Diagrammatic and Formal Specification Techniques, Sep 2001, Vienna, Austria, 8 p, 2001. 〈inria-00107870〉

Partager

Métriques

Consultations de la notice

247

Téléchargements de fichiers

127