TY  - CHAP
ID  - deploy207
UR  - http://deploy-eprints.ecs.soton.ac.uk/207/
A1  - Bryans, Jeremy W.
A1  - Fitzgerald, John S.
A1  - Romanovsky, Alexander
A1  - Roth, A.
Y1  - 2010///
N2  - 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.
PB  - IEEE Computer Society
TI  - Patterns for Modelling Time and Consistency in Business Information Systems
AV  - public
T2  - 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010
ER  -

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