Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états

Résumé

Nous nous intéressons à la construction de spécifications comportementales UML selon une démarche de raffinements successifs visant à construire un modèle détaillé, proche d'un modèle de l'implantation, à partir d'un modèle abstrait initial. La relation de spécialisation proposée entre classes d'un modèle objet correspond à une relation plus forte que celle de raffinement, au sens où toute implantation d'une classe spécialisée est aussi une implantation de sa super classe. Malheureusement, cette relation n'est pas définie sur les machines d'états UML. Notre travail consiste à transposer la relation d'extension conforme définie sur les systèmes de transitions étiquetées aux machines d'états UML. Dans un premier temps, nous proposons une implantation de la relation d'extension sur les systèmes de transitions étiquetées, ce qui n'a pas été réalisé à un coût raisonnable jusqu'ici. Dans un second temps, nous abordons la traduction de machines d'états UML vers des systèmes de transitions. Les résultats de vérification obtenus sur les systèmes de transitions peuvent être réinterprétés sur les machines d'états UML, afin de proposer des corrections si nécessaire.
Fichier principal
Vignette du fichier
AFADL09.pdf (569 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00497136 , version 1 (02-07-2010)

Identifiants

  • HAL Id : hal-00497136 , version 1

Citer

Thomas Lambolais, Anne-Lise Courbis, Hong-Viet Luong. Raffinement de modèles comportementaux UML, vérification des relations d'implantation et d'extension sur les machines d'états. Approches Formelles dans l'Assistance au Développement de Logiciels, Feb 2009, Toulouse, France. ⟨hal-00497136⟩
83 Consultations
372 Téléchargements

Partager

Gmail Facebook X LinkedIn More