Modeling class operations in B: application to UML behavioral diagrams

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-B 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, so the development of B specifications become easier. Hence, an approach for a practical and rigorous software development, which is based on UML and B, from the requirements elicitation to the executable code, could be achieved. In this paper, we address the problem of automatic derivation of UML behavioral diagrams into B specifications, which has been so far an open issue. For this purpose, we propose a new approach for modeling class operations in B. Each class operation is mapped into a B operation. A class operation and its concerned data are mapped into the same B abstract machine (BAM). The calling-called dependency between class operations is used to arrange B operations of class operations into BAMs. For each calling-called pair of class operations, the B operation of the called operation participates in the implementation of the B operation of the calling operation.
Type de document :
Communication dans un congrès
IEEE Computer Society. 16th IEEE International Conference on Automated Software Engineering - ASE'2001, Nov 2001, Loews Coronado Bay, San Diego, USA, 10 p, 2001
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00107871
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:36:06

Identifiants

  • HAL Id : inria-00107871, version 1

Collections

Citation

Hung Ledang, Jeanine Souquières. Modeling class operations in B: application to UML behavioral diagrams. IEEE Computer Society. 16th IEEE International Conference on Automated Software Engineering - ASE'2001, Nov 2001, Loews Coronado Bay, San Diego, USA, 10 p, 2001. 〈inria-00107871〉

Partager

Métriques

Consultations de la notice

183

Téléchargements de fichiers

85