Reuse of Specification Patterns with the B Method

Abstract : 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.
Type de document :
Communication dans un congrès
Springer-Verlag. ZB 2003: Formal Specification and Development in Z and B, Jun 2003, Turku, Finland, 2651 (2651), pp.40-57, 2003, Lecture Notes in Computer Science
Liste complète des métadonnées

Littérature citée [15 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00078953
Contributeur : Sandrine Blazy <>
Soumis le : lundi 16 octobre 2006 - 10:11:47
Dernière modification le : mardi 17 octobre 2006 - 15:17:57
Document(s) archivé(s) le : lundi 5 avril 2010 - 22:30:09

Identifiants

Collections

Citation

Sandrine Blazy, Frédéric Gervais, Régine Laleau. Reuse of Specification Patterns with the B Method. Springer-Verlag. ZB 2003: Formal Specification and Development in Z and B, Jun 2003, Turku, Finland, 2651 (2651), pp.40-57, 2003, Lecture Notes in Computer Science. 〈inria-00078953〉

Partager

Métriques

Consultations de la notice

96

Téléchargements de fichiers

44