Formal methods focus on a posteriori analysis and a modeller gets little assistance in constructing a model. Poor methodological and tool support means formal modelling is an expensive and laborious process which can produce poor quality specifications. Refinement patterns offer a constructive top-down approach to formal modelling by guiding a developer and providing reusable design solutions. ...
