Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation - Archive ouverte HAL Accéder directement au contenu
Autre Publication Scientifique Année : 2008

Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation

Résumé

Nous nous intéressons aux démarches de construction de modèles comportementaux UML (machines d'états) intégrant des procédures de vérification. Le raffinement, consistant à définir des spécifications de plus en plus précises ou complètes, n'a pu être jusqu'à présent formalisé sur les machines d'états. Dans les modèles orientés objets, la relation de raffinement peut se représenter par la relation de spécialisation. Nous proposons une sémantique de la relation de spécialisation entre machines d'états UML. D'autre part, les techniques de construction incrémentale visent à définir les réalisations correspondant aux spécifications élaborées tout au long du processus de conception. Cette correspondance se décrit par la relation d'implantation. Nous proposons également une sémantique de cette relation entre machines d'états UML. Ainsi, nous disposons d'outils permettant de mettre en \oe uvre des démarches incrémentales et de raffinement en UML.
Fichier principal
Vignette du fichier
LMO.pdf (523.02 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00498019 , version 1 (06-07-2010)

Identifiants

  • HAL Id : hal-00498019 , version 1

Citer

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong. Construction incrémentale vs. construction par raffinement de modèles comportementaux UML: sémantique et vérification des relations de spécialisation et d'implantation. 2008. ⟨hal-00498019⟩
157 Consultations
161 Téléchargements

Partager

Gmail Facebook X LinkedIn More