Title :
Patterns for Modelling Time and Consistency in Business Information Systems
Author :
Bryans, J.W. ; Fitzgerald, J.S. ; Romanovsky, A. ; Roth, Andrei
Author_Institution :
Sch. of Comput. Sci., Newcastle Univ., Newcastle upon Tyne, UK
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 time-bounded inconsistency and illustrates their use in a model derived from industrial applications.
Keywords :
information systems; Rodin tools; business information systems; consistency modelling; distributed information systems; event-b; time modelling; Adaptation model; Analytical models; Business; Concrete; Frequency modulation; Information systems; Semantics; Error Recovery; Event-B; Formal Verification; Patterns; Real-time;
Conference_Titel :
Engineering of Complex Computer Systems (ICECCS), 2010 15th IEEE International Conference on
Conference_Location :
Oxford
Print_ISBN :
978-1-4244-6638-2
Electronic_ISBN :
978-1-4244-6639-9
DOI :
10.1109/ICECCS.2010.43