--- 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.' accompaniment: [] book_title: '15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010' commentary: ~ completion_time: ~ composition_type: ~ conductors_id: [] conductors_name: [] contact_email: ~ copyright_holders: [] corp_creators: [] creators_id: - jeremy.bryans@ncl.ac.uk - john.fitzgerald@ncl.ac.uk - alexander.romanovsky@ncl.ac.uk - ~ creators_name: - family: Bryans given: Jeremy W. honourific: '' lineage: '' - family: Fitzgerald given: John S. honourific: '' lineage: '' - family: Romanovsky given: Alexander honourific: '' lineage: '' - family: Roth given: A. honourific: '' lineage: '' data_type: ~ date: 2010 date_type: published datestamp: 2010-02-16 12:51:17 department: ~ dir: disk0/00/00/02/07 divisions: [] edit_lock_since: ~ edit_lock_until: ~ edit_lock_user: ~ editors_id: [] editors_name: [] eprint_status: archive eprintid: 207 event_dates: ~ event_location: ~ event_title: ~ event_type: ~ exhibitors_id: [] exhibitors_name: [] fileinfo: /style/images/fileicons/application_pdf.png;/207/1/final%2Diceccs2010.pdf full_text_status: public funders: [] id_number: ~ importid: ~ institution: ~ isbn: ~ ispublished: pub issn: ~ item_issues_comment: [] item_issues_count: 0 item_issues_description: [] item_issues_id: [] item_issues_reported_by: [] item_issues_resolved_by: [] item_issues_status: [] item_issues_timestamp: [] item_issues_type: [] keywords: ~ lastmod: 2010-04-19 15:06:00 latitude: ~ learning_level: ~ longitude: ~ lyricists_id: [] lyricists_name: [] metadata_visibility: show monograph_type: ~ note: ~ num_pieces: ~ number: ~ official_url: ~ output_media: ~ pagerange: ~ pages: ~ patent_applicant: ~ pedagogic_type: ~ place_of_pub: ~ pres_type: ~ producers_id: [] producers_name: [] projects: [] publication: ~ publisher: IEEE Computer Society refereed: TRUE referencetext: ~ related_url_type: [] related_url_url: [] relation_type: [] relation_uri: [] rev_number: 25 series: ~ skill_areas: [] source: ~ status_changed: 2010-02-16 12:51:17 subjects: - Event-Bsemantics - Refinement - deploy_industrial_bus - deploy_method_comp - deploy_method_resil - rt_modelling succeeds: ~ suggestions: ~ sword_depositor: ~ sword_slug: ~ task_purpose: ~ thesis_type: ~ title: Patterns for Modelling Time and Consistency in Business Information Systems type: book_section userid: 7 volume: ~