We present a pattern-based approach to depicting the structure of formal specifications. We propose a diagram meta-pattern, and instantiate it to produce a number of diagrammatic patterns for formal notations including B, CSP, and Z, and composite notations Circus and CSP| |B. The ultimate objective is to support practical use and reuse of specifications and their documentation.
Full report : PDF 702K
@techreport(SS-YCS-394, author = "Susan Stepney and Fiona Polack and Ian Toyn", title = "Diagram Patterns and Meta-patterns to support formal modelling: with instantiations for B, CSP, Z, Circus, and CSP| |B", institution = "Department of Computer Science, University of York", number = "YCS-2005-349", month = oct, year = 2005 )