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.
| PDF 200Kb |
Abstract
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.
Item Type: | Book Section |
---|---|
Subjects: | Event-B Methodology > Refinement Industrial Deployment > Business Methodology > Composition and reuse Methodology > Resilience Methodology > Real-time systems |
ID Code: | 207 |
Deposited By: | Prof A Romanovsky |
Deposited On: | 16 Feb 2010 12:51 |
Last Modified: | 19 Apr 2010 16:06 |
Repository Staff Only: item control page