Browse by author
Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald, Emeritus Professor Alexander RomanovskyORCiD
Maintaining semantic consistency of data is a sig- nificant problem in distributed information systems, particularly those on which a business may depend. Our current work aims to use Event-B and the Rodin tools to support the specification and design of such systems in a way that integrates well into existing development processes. This paper presents Event-B patterns that may be used to represent recovery from time-bounded inconsistency and illustrates their use in a model derived from industrial applications.
Author(s): Bryans J W, Fitzgerald J S, Romanovsky A, Roth A
Publication type: Report
Publication status: Published
Series Title: School of Computing Science Technical Report Series
Year: 2009
Pages: 14
Print publication date: 01/11/2009
Source Publication Date: November 2009
Report Number: 1178
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/1178.pdf
