Sciences & technologie. B, Sciences de l’ingénieur
Volume 0, Numéro 26, Pages 61-66
2007-12-31
Auteurs : Zitouni A .
La faiblesse sémantique des représentations actuelles des patterns entraîne des interprétations ambiguës et limite leur application. La spécification formelle 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. L’objectif de cet article est de définir la description 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, la méthode UML (semi- formelle) et le langage de spécification formelle LOTOS.
design pattern, framework, lotos, spécification formelle, UML.
Asbayou Omar
.
pages 107-119.
Abderrezag Selma
.
pages 705-712.
Cherifi Selma
.
pages 73-85.
Zerguini L.
.
Martineau P.
.
pages 79-87.