Industrial deployment of system engineering methods providing high dependability and productivity

 

Patterns for Modelling Time and Consistency in Business Information Systems

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.

[img]
Preview
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

Deploy-Project - All right reserved