Patterns for Modelling Time and Consistency in Business Information Systems

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.

• Type: Conference
• Year: 2010
• Where: ICECCS
• Authors: Jeremy W. Bryans, John S. Fitzgerald, Alexander Romanovsky, Andreas Roth
• Keywords: Hardware, ICECCS 2010, Rodin Tools, Semantic Consistency, Significant Problem