"207","Patterns for Modelling Time and Consistency in Business Information Systems","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.","http://deploy-eprints.ecs.soton.ac.uk/207/","Bryans, Jeremy W. and Fitzgerald, John S. and Romanovsky, Alexander and Roth, A.","UNSPECIFIED","       <span class=\"person_name\">Bryans, Jeremy W.</span> and <span class=\"person_name\">Fitzgerald, John S.</span> and <span class=\"person_name\">Romanovsky, Alexander</span> and <span class=\"person_name\">Roth, A.</span>     (2010)  <a href=\"http://deploy-eprints.ecs.soton.ac.uk/207/\"><em>Patterns for Modelling Time and Consistency in Business Information Systems.</em></a>              In:         15th IEEE International Conference on Engineering of Complex Computer Systems. Oxford, UK. March, 2010.               IEEE Computer Society.                ","jeremy.bryans@ncl.ac.uk,john.fitzgerald@ncl.ac.uk,alexander.romanovsky@ncl.ac.uk,","2010"