Des cas d'utilisation à une spécification B

Hung Ledang 1
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Cet article présente une approche pour développer une spécification B à partir d'un modèle des cas d'utilisation d'un système à construire. En exploitant la structuration du modèle des cas d'utilisation ainsi que sa complémentarité avec le modèle des classes du domaine d'application du même système, on propose de construire des machines abstraites B dont les opérations modélisent les cas d'utilisation; la spécification B pour un modèle des cas d'utilisation se compose des machines abstraites et l'implémentation correspondante pour les cas d'utilisation ainsi que les machines abstraites pour les classes et leurs associations. Notre proposition a un double avantage : d'une part, elle fournit un cadre pour analyser formellement la cohérence du modèle des besoins produit dans un processus de développement par objets; d'autre part, elle permet d'intégrer la méthode B dès la phase d'élicitation des besoins dans un processus de développement de logiciels.
Type de document :
Communication dans un congrès
Approches Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 10 p, 2001
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00107525
Contributeur : Publications Loria <>
Soumis le : jeudi 19 octobre 2006 - 09:00:00
Dernière modification le : jeudi 11 janvier 2018 - 06:20:08
Document(s) archivé(s) le : mercredi 29 mars 2017 - 13:04:19

Identifiants

  • HAL Id : inria-00107525, version 1

Collections

Citation

Hung Ledang. Des cas d'utilisation à une spécification B. Approches Formelles dans l'Assistance au Développement de Logiciels - AFADl'2001, Jun 2001, Nancy, France, 10 p, 2001. 〈inria-00107525〉

Partager

Métriques

Consultations de la notice

106

Téléchargements de fichiers

170