title: Patterns for Modelling Time and Consistency in Business Information Systems
creator: Bryans, Jeremy W.
creator: Fitzgerald, John S.
creator: Romanovsky, Alexander
creator: Roth, A.
subject: Event-B
subject: Refinement
subject: Business
subject: Composition and reuse
subject: Resilience
subject: Real-time systems
description: 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.
publisher: IEEE Computer Society
date: 2010
type: Book Section
type: PeerReviewed
format: application/pdf
identifier: http://deploy-eprints.ecs.soton.ac.uk/207/1/final-iceccs2010.pdf
identifier:   Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A.  (2010) Patterns for Modelling Time and Consistency in Business Information Systems.   In:  15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010.   IEEE Computer Society.      
relation: http://deploy-eprints.ecs.soton.ac.uk/207/

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