|
 
|
[BGL03] Reuse of Specification Patterns with the B Method
Conférence Internationale avec comité de lecture : ZB 2003: Formal Specification and Development in Z and B, Turku, Finland, January 2003, Vol. 2651, pp.40-57, Series LNCS,Mots clés: Design pattern, speciï¬cation pattern, reuse, B
Résumé:
This paper describes an approach for reusing specification patterns.
Specification patterns are design patterns that are expressed in a formal specification language.
Reusing a specification pattern means instantiating it or composing it with other specification patterns.
Three levels of composition are defined: juxtaposition, composition with inter-patterns links and unification.
This paper shows through examples how to define specification patterns in B, how to reuse them directly in B, and also how to reuse the proofs associated with specification patterns.
Commentaires:
3rd International Conference of B and Z Users.
BibTeX
| @inproceedings { | |||
| BGL03, | |||
| title | = | "{Reuse of Specification Patterns with the B Method}", | |
| author | = | " S. Blazy and F. Gervais and R. Laleau ", | |
| booktitle | = | "{ZB 2003: Formal Specification and Development in Z and B, Turku, Finland}", | |
| year | = | 2003, | |
| month | = | "January", | |
| series | = | "LNCS", | |
| volume | = | 2651, | |
| pages | = | "40-57", | |
| note | = | "{3rd International Conference of B and Z Users.}", | |
| } | |||
