home > publications > Z > Diagram Patterns and Meta-patterns to support formal modelling

Susan Stepney, Fiona Polack, and Ian Toyn
Diagram Patterns and Meta-patterns to support formal modelling: with instantiations for B, CSP, Z, Circus, and CSP| |B .

Technical Report YCS-2005-394, University of York, October 2005.

Abstract:

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
)