Browse by author
Lookup NU author(s): Dr Alexei Iliasov, Dr Elena Troubitsyna, Emeritus 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.
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
URL: http://www.cs.ncl.ac.uk/publications/trs/papers/1103.pdf
