Toggle Main Menu Toggle Search

Open Access padlockePrints

Guided Formal Development: Patterns for Modelling and Refinement

Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Professor Alexander RomanovskyORCiD



Formal modelling is indispensable for engineering highly dependable systems. However, a wider acceptance of formal methods is hindered by their insufficient usability and scalability. In this paper, we aim at assisting developers in rigorous modelling and design by providing them with guidelines comprising a collection of reusable modelling and refinement patterns. A modelling pattern encapsulates a tactic for achieving a certain goal in the development process. Furthermore, we generalise our experience in developing systems by refinement via defining generic refinement patterns. Our approach is exemplified by the Event-B-based development of agent systems. The use of modelling and refinement patterns helps us to achieve a higher degree of automation in formal modelling which would potentially ease the use of formal models.

Publication metadata

Author(s): Iliasov A, Troubitsyna E, Laibinis L, Romanovsky A

Publication type: Report

Publication status: Published

Series Title: School of Computing Science Technical Report Series

Year: 2008

Pages: 14

Print publication date: 01/06/2008

Source Publication Date: June 2008

Report Number: 1103

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

Place Published: Newcastle upon Tyne