Spécification et spécialisation de patterns en UML et B - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Communication Dans Un Congrès Année : 2000

Spécification et spécialisation de patterns en UML et B

Nicole Lévy
Francisca Losavio
  • Fonction : Auteur
  • PersonId : 835363

Résumé

Les patterns jouent un rôle de plus en plus important dans le développement de spécifications et de logiciels orientés-objets. Ils proposent des solutions génériques à des problèmes spécifiques. La faiblesse sémantique des représentations actuelles des patterns entraîne des interprétations ambiguës et limite leur application. La spécialisation s'avère être un mécanisme très utile permettant l'adaptation de solutions à un problème d'architecture ou de conception d'un système. La réutilisation et l'instanciation sont liées à la notion de spécialisation. l'objectif de cet article est de définir la spécialisation de patterns par intégration des approches formelle et semi-formelle. Nous décrivons une méthode de spécification de patterns, intégrant deux paradigmes complémentaires, les méthodes UML et B. Ceci nous amène à définir la relation de spécialisation entre patterns. Nous définissons la spécialisation de modèles UML et lui donnons une sémantique à l'aide du raffinement B. La démarche est illustrée par la définition de patterns d'architectures logicielles distribuées. Nous spécifions le pattern architectural client-serveur et le spécialisons par le pattern broker. || Patterns play an important role in the development of specifications and object-oriented software. They propose generic solutions to specific problems in every development stage. Semantics weakness on present representations of patterns leads to ambiguous
Fichier non déposé

Dates et versions

inria-00099206 , version 1 (26-09-2006)

Identifiants

  • HAL Id : inria-00099206 , version 1

Citer

Rafael Marcano Kamenoff, Nicole Lévy, Francisca Losavio. Spécification et spécialisation de patterns en UML et B. Langages et Modèles à Objets - LMO'2000, 2000, Montreal, Canada, 16 p. ⟨inria-00099206⟩
163 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More