Details of Grant 

EPSRC Reference:	GR/R31973/01
Title:	Rices: Reasoning About Information Consistency Across Enterprise Solutions
Principal Investigator:	Henderson, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:	DERA International Computers
Department:	Electronics and Computer Science
Organisation:	University of Southampton
Scheme:	Standard Research (Pre-FEC)
Starts:	01 July 2001	Ends:	31 January 2005	Value (£):	467,354
EPSRC Research Topic Classifications:	Information & Knowledge Mgmt Software Engineering
EPSRC Industrial Sector Classifications:	Aerospace, Defence and Marine Financial Services Retail Information Technologies
Related Grants:
Panel History:
Summary on Grant Application Form
As every information system becomes connected to every other information system, they form the so-called information utility. As new applications are added to the information utility, they have to be evolved on a platform of existing systems that may hold inconsistent information about the real world. Consequently, information system designers have to design solutions that will work in a world of only partially correct information. We propose to develop the means whereby architects, designers and engineers are able, in this context of information inconsistency, to develop new business solutions and reason (at the system level) about their validity. To make this possible we will develop inter-enterprise system architectures that support applications working with partially replicated but only partially consistent information. We will determine the properties that such architectures must have (such as the ability to operate under reversible assumptions and the ability to undo operations as a consequence of having reversed assumptions), and develop exemplary architectures that exhibit these properties. We will investigate the concept of inconsistency-tolerant components and devise methods of building inter-enterprise applications from such components. This approach will, we conjecture, make reasoning about the validity of proposed inter-enterprise scale solutions more straightforward and thus greatly increase the speed with which new solutions can be deployed. We will evaluate our ideas by building, along with our industrial collaborators, realistic enterprise-scale demonstrations in the domains of Finance and Defence
Key Findings
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Potential use in non-academic contexts
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Impacts
Description This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk Summary Date Materialised
Sectors submitted by the Researcher
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
Project URL:
Further Information:
Organisation Website:	http://www.soton.ac.uk