Toggle Main Menu Toggle Search

Open Access padlockePrints

Refinement Patterns

Lookup NU author(s): Dr Alexei Iliasov



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. Extensive application of high-quality, peer-reviewed refinement patterns results in improved overall dependability of the system by ensuring highquality- by-construction of formal models. Application of the fault tolerance refinement patterns can further improve system dependability by helping developers to apply fault tolerance in a disciplined, systematic and cost-effective way to ensure that system failures are prevented from happening.

Publication metadata

Author(s): Iliasov A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 25

Print publication date: 01/02/2008

Source Publication Date: February 2008

Report Number: 1075

Institution: School of Computing Science, University of Newcastle upon Tyne

Place Published: Newcastle upon Tyne