| EPSRC Reference: |
GR/N11513/01 |
| Title: |
RICES: REASONING ABOUT INFORMATION CONSISTENCY ACROSS ENTERPRISE SOLUTIONS |
| Principal Investigator: |
Henderson, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Electronics and Computer Science |
| Organisation: |
University of Southampton |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 April 2000 |
Ends: |
30 June 2001 |
Value (£): |
104,583
|
| EPSRC Research Topic Classifications: |
| Manufact. Enterprise Ops& Mgmt |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| Aerospace, Defence and Marine |
Information Technologies |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
As every information system becomes connect4ed to every other information system they form the so-called information utility. As new solutions are added to the information utility, they have to be evolved on a platform of existing solutions which hold information which has become a little inconsistent (so-called data pollution). Consequently, information system designers are having to design solutions which work in a world of only partially-consistent information. Architects, designers and engineers must reason about the validity of a proposed solution, before they can build that solution. This requires new techniques which are both practical and at an appropriate level of abstraction (at the system level). This is a major challenge for conventional methods of system engineering. Because this is a risky project, we propose to set up a one-year feasibility study which will demonstrate that we have indeed established realistic means whereby such new methods can be developed. The approach we will take is as follows. We will evaluate existing methods of system-level description. We will show how these methods can be combined and applied at the system-level to the problems of partially-replicated but only partially-consistent information. And we will demonstrate feasibility of this approach by developing a convincing example.EngProg\
|
|
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 |