Toggle Main Menu Toggle Search

Open Access padlockePrints

Patterns for Modelling Time and Consistency in Business Information Systems

Lookup NU author(s): Dr Jeremy Bryans, Professor John Fitzgerald, Emeritus Professor Alexander Romanovsky



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.

Publication metadata

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