An outline pattern language for Z: five illustrations and two tables

Authors:
Susan Stepney;Fiona Polack;Ian Toyn
Affiliations:
Department of Computer Science, University of York, Heslington, York, UK;Department of Computer Science, University of York, Heslington, York, UK;Department of Computer Science, University of York, Heslington, York, UK
Venue:
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
Year:
2003

Citing 10
Cited 5

The Z notation: a reference manual

The Z notation: a reference manual
Software development: two approaches to animation of Z specifications using Prolog

Software Engineering Journal
A generative development-process pattern language

Pattern languages of program design
Smalltalk: best practice patterns

Smalltalk: best practice patterns
Understanding agent systems

Understanding agent systems
Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
Z--, an Executable Subset of Z

Proceedings of the Z User Workshop
The Z/EVES System

ZUM '97 Proceedings of the 10th International Conference of Z Users on The Z Formal Specification Notation
The SAZ Project: Integrating SSADM and Z.

FME '93 Proceedings of the First International Symposium of Formal Methods Europe on Industrial-Strength Formal Methods
A tale of two proofs

3FACS'98 Proceedings of the 3rd BCS-FACS conference on Northern Formal Methods

Emergent Properties Do Not Refine

Electronic Notes in Theoretical Computer Science (ENTCS)
A pattern system to support refining informal ideas into formal expressions

ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Retrenching the purse: finite sequence numbers, and the tower pattern

FM'05 Proceedings of the 2005 international conference on Formal Methods
“Devices are people too” using process patterns to elicit security requirements in novel domains: a ubiquitous healthcare example

SPC'05 Proceedings of the Second international conference on Security in Pervasive Computing
Including design guidelines in the formal specification of interfaces in z

ZB'05 Proceedings of the 4th international conference on Formal Specification and Development in Z and B

Quantified Score

Hi-index	0.01

Visualization

Abstract

We introduce a pattern language for using formal methods in computer system engineering. We focus on the Z notation, but many of the patterns are adaptable to other formal notations, or can be used to help choose a notation, or to decide on a style of formality. As in other pattern languages, we are providing a new presentation of existing practice, to make it accessible to computer systems engineering. We propose an initial classification of Z patterns, present selected examples, and outline issues of tool support.