DocumentCode :
2959848
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
fYear :
2010
fDate :
22-26 March 2010
Firstpage :
105
Lastpage :
114
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;
fLanguage :
English
Publisher :
ieee
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
Type :
conf
DOI :
10.1109/ICECCS.2010.43
Filename :
5628623
Link To Document :
بازگشت