New Approach for Modeling State-Chart Diagrams in B

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 state-chart diagrams in B, which has not been, so far, completely treated. We distinguish between event-based and activity-based parts of state-chart diagrams. We propose creating, for each part, a B specification. Because activities relate to class operations, we can use our previous work on modeling class operation for modeling the activity-based part. Hence, we consider here only the event-based part. A new approach for modeling events is proposed. The asynchronous communication amongst state-chart diagrams is also considered.
Type de document :
[Intern report] A01-R-082 || ledang01f, 2001, 12 p
Liste complète des métadonnées

Littérature citée [14 références]  Voir  Masquer  Télécharger
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:48
Dernière modification le : mardi 24 avril 2018 - 13:36:26
Document(s) archivé(s) le : vendredi 25 novembre 2016 - 12:47:16


  • HAL Id : inria-00107544, version 1



Hung Ledang, Jeanine Souquières. New Approach for Modeling State-Chart Diagrams in B. [Intern report] A01-R-082 || ledang01f, 2001, 12 p. 〈inria-00107544〉



Consultations de la notice


Téléchargements de fichiers