|
 
|
[BGL02] Un exemple de réutilisation de patterns de spécification avec la méthode B
Rapport Scientifique : Date de dépot: 2002/01/01, (Tech. Rep.: CEDRIC-02-395)
motcle:
Résumé:
Nous présentons un exemple de
réutilisation de patterns de spécification avec
la méthode B. L'idée est de bénéficier aussi bien
des avantages d'une méthode formelle telle que B
que ceux des composants réutilisables comme les
patterns utilisés en UML pour concevoir des
applications. Les patterns Composite
et Resource Allocation, qui sont couramment
utilisés dans les approches semi-formelles, ont
été dans un premier temps spécifiés en B afin
d'être "réutilisés".
En s'appuyant sur un exemple d'allocation
de dossiers à des secrétaires, la réutilisation
des patterns a été traduite en B par l'utilisation
de mécanismes existant dans la méthode, comme
l'inclusion et le raffinement. Les
spécifications ainsi obtenues ont pu être validées
grâce aux outils associés à la méthode B.
BibTeX
| @techreport { | |||
| BGL02, | |||
| title | = | "{Un exemple de réutilisation de patterns de spécification avec la méthode B}", | |
| author | = | "S. Blazy and F. Gervais and R. Laleau", | |
| number | = | "{CEDRIC-02-395}", | |
| institution | = | "{CEDRIC laboratory, CNAM-Paris, France}", | |
| date | = | {01-01-2002}, | |
| } | |||
