creators_name: Bryans, Jeremy W.
creators_name: Fitzgerald, John S.
creators_name: Romanovsky, Alexander
creators_name: Roth, A.
creators_id: jeremy.bryans@ncl.ac.uk
creators_id: john.fitzgerald@ncl.ac.uk
creators_id: alexander.romanovsky@ncl.ac.uk
type: book_section
datestamp: 2010-02-16 12:51:17
lastmod: 2010-04-19 15:06:00
metadata_visibility: show
title: Patterns for Modelling Time and Consistency in Business Information Systems
ispublished: pub
subjects: Event-Bsemantics
subjects: Refinement
subjects: deploy_industrial_bus
subjects: deploy_method_comp
subjects: deploy_method_resil
subjects: rt_modelling
full_text_status: public
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.
date: 2010
date_type: published
publisher: IEEE Computer Society
refereed: TRUE
book_title: 15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010
citation:   Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A.  (2010) Patterns for Modelling Time and Consistency in Business Information Systems.   In:  15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010.   IEEE Computer Society.      
document_url: http://deploy-eprints.ecs.soton.ac.uk/207/1/final-iceccs2010.pdf