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.
Original language | English |
---|---|
Title of host publication | 2010 15th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS) |
Publisher | IEEE |
Pages | 105-114 |
Number of pages | 10 |
ISBN (Electronic) | 978-1-4244-6639-9 |
ISBN (Print) | 978-1-4244-6638-2 |
DOIs | |
Publication status | Published - 11 Nov 2010 |
Event | International Conference on Engineering of Complex Computer Systems - Oxford, United Kingdom Duration: 22 Mar 2010 → 26 Mar 2010 Conference number: 15 |
Conference
Conference | International Conference on Engineering of Complex Computer Systems |
---|---|
Abbreviated title | ICECCS |
Country | United Kingdom |
City | Oxford |
Period | 22/03/10 → 26/03/10 |
Keywords
- Business
- Adaptation model
- Concrete
- Analytical models
- Semantics
- Frequency modulation
- Information systems
- information systems
- Rodin tools
- time modelling
- consistency modelling
- business information systems
- distributed information systems
- event-b
- Error Recovery
- Real-time
- Patterns
- Formal Verification
- Event-B