Using Design Patterns in Formal Methods: An Event-B Approach

Authors:
J. -R. Abrial;Thai Son Hoang
Affiliations:
ETH Zurich,;ETH Zurich,
Venue:
Proceedings of the 5th international colloquium on Theoretical Aspects of Computing
Year:
2008

Citing 0
Cited 6

Reasoned modelling critics: turning failed proofs into modelling guidance

ABZ'10 Proceedings of the Second international conference on Abstract State Machines, Alloy, B and Z
Refinement plans for informed formal design

ABZ'12 Proceedings of the Third international conference on Abstract State Machines, Alloy, B, VDM, and Z
Reasoned modelling critics: Turning failed proofs into modelling guidance

Science of Computer Programming
Complementary methodologies for developing hybrid systems with event-b

ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
Formal development of wireless sensor-actor networks

Science of Computer Programming
Taming distributed system complexity through formal patterns

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Motivation.Formal Methods users are given sophisticated languages and tools for constructing models of complex systems. But quite often they lack some systematic methodological approaches which could help them. The goal of introducing design patternswithin formal methods is precisely to bridge this gap.A design patternis a general reusable solution to a commonly occurring problem in (software) design . . . It is a description or template for how to solve a problem that can be used in many different situations (Wikipedia on "Design Pattern").