Quelques patrons de raffinement pour le développement de diagrammes de classes UML - Archive ouverte HAL
Communication Dans Un Congrès Année : 2007

Quelques patrons de raffinement pour le développement de diagrammes de classes UML

Résumé

Le concept de raffinement est un élément clé dans les approches formelles pour le développement de logiciels et a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important. Nous proposons un cadre formel de définition des patrons de raffinement de diagrammes de classes UML. L'utilisation de la méthode B et de son mécanisme de raffinement permet la vérification de la correction des patrons à l'aide des outils supports. Nous illustrons notre proposition par la définition de quelques exemples de patrons et leur application au développement d'une étude de cas.
Fichier principal
Vignette du fichier
OCM-benammar.pdf (158.56 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00182740 , version 1 (30-10-2007)

Identifiants

  • HAL Id : hal-00182740 , version 1

Citer

Boulbaba Ben Ammar, Mahamed Tahar Bhiri, Jeanine Souquières. Quelques patrons de raffinement pour le développement de diagrammes de classes UML. 6ème atelier sur les Objets, Composants et Modèles dans l'ingénierie des Systèmes d'Information, OCM-SI, couplé avec le 25ème congrès INFORSID, May 2007, Perros-Guirec, France. 12 p. ⟨hal-00182740⟩
442 Consultations
1309 Téléchargements

Partager

More