Abstract
Patterns capture the shape of particular specifications, providing starting points for developers. The most well known design patterns in software are those of the Gang of Four (GoF), Gamma, Helm, Johnson & Vlissides[4], who have provided a set of patterns for Object-Oriented development. Starting with these patterns as a motivation, this paper discusses various issues concerning the concept of patterns for the B Method (B) and explores a number of patterns that could be used with B. The paper presents a number of case studies to illustrate use of the patterns, and discusses future exploration of design patterns for B.
A motivation for the development of patterns for B is to enable reuse and also to make B more accessible to developers from the more informal side of software development.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Alexander, C.: A Pattern Language: Towns, Buildings, Construction (Center for Environmental Structure Series). Oxford University Press, Oxford (1977)
Blazy, S., Gervais, F., Laleau, R.: Reuse of Specification Patterns with the B Method. In: Bert, D., P. Bowen, J., King, S. (eds.) ZB 2003. LNCS, vol. 2651, pp. 40–57. Springer, Heidelberg (2003)
Chan, E., Welch, B.: Patterns and the B Method: Bridging Formal and Informal Development. Technical report, Department of Computer Science, University of NSW (2006), ftp://ftp.cse.unsw.edu.au/pub/doc/papers/UNSW/0620.pdf
Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)
Robinson, K.: Embedding Formal Methods in Software Engineering. In: Dean, C.N., Boute, R.T. (eds.) TFM 2004. LNCS, vol. 3294, pp. 203–213. Springer, Heidelberg (2004)
Snook, C., Butler, M.: UML-B: Formal Modeling and Design Aided by UML. ACM Trans. Softw. Eng. Methodol. 15(1), 92–122 (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Chan, E., Robinson, K., Welch, B. (2006). Patterns for B: Bridging Formal and Informal Development. In: Julliand, J., Kouchnarenko, O. (eds) B 2007: Formal Specification and Development in B. B 2007. Lecture Notes in Computer Science, vol 4355. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11955757_12
Download citation
DOI: https://doi.org/10.1007/11955757_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68760-3
Online ISBN: 978-3-540-68761-0
eBook Packages: Computer ScienceComputer Science (R0)