%A Jeremy W. Bryans
%A John S. Fitzgerald
%A Alexander Romanovsky
%A A. Roth
%T Patterns for Modelling Time and Consistency in Business Information Systems
%X Maintaining semantic consistency of data is a significant 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 timebounded inconsistency and illustrates their use in a model derived from industrial applications.
%D 2010
%I IEEE Computer Society
%L deploy207
%B 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>