Design patterns: elements of reusable object-oriented software
Design patterns: elements of reusable object-oriented software
Analysis patterns: reusable objects models
Analysis patterns: reusable objects models
Proceedings of the 20th international conference on Software engineering
An Overview of a Method and its Support Tool for Generating B Specifications from UML Notations
ASE '00 Proceedings of the 15th IEEE international conference on Automated software engineering
Classifying Software for Reusability
IEEE Software
1FACS'96 Proceedings of the 1st BCS-FACS conference on Northern Formal Methods
ACM SIGSOFT Software Engineering Notes
Event-B Patterns for Specifying Fault-Tolerance in Multi-agent Interaction
Methods, Models and Tools for Fault Tolerance
Modeling UML software design patterns using fundamental modeling concepts (FMC)
ECC'08 Proceedings of the 2nd conference on European computing conference
Static Class Elements for Object-Z
Electronic Notes in Theoretical Computer Science (ENTCS)
Supporting Reuse of Event-B Developments through Generic Instantiation
ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering
Development of a synchronous subset of AADL
ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Patterns for b: bridging formal and informal development
B'07 Proceedings of the 7th international conference on Formal Specification and Development in B
Extensible specifications for automatic re-use of specifications and proofs
SEFM'12 Proceedings of the 10th international conference on Software Engineering and Formal Methods
Hi-index | 0.00 |
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.