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