| EPSRC Reference: |
GR/N00814/01 |
| Title: |
OBJECTS, ASSOCIATIONS AND SUBSYSTEMS: A HIERARCHICAL APPROACH TO ENCAPSULATION |
| Principal Investigator: |
Maibaum, Professor T |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 November 1999 |
Ends: |
30 April 2003 |
Value (£): |
156,041
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
Software Engineering |
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Objects provide a simple yet powerful basis for modularity through encapsulation. Aggregation of attributes in objects, and objects in associations, provides a basis for data-encapsulation; object identifiers globally identify instances and give an implicit indirection which distinguishes attributes which are themselves objects from attributes which are pure values. Objects can also provide a basis for establishing non-interference in concurrent implementations.Although subtyping and inheritance provide a hierarchical means of classification of objects, the class-instance paradigm is essentially flat and does not directly support the nesting of objects within objects.It seems that the 00 approach would benefit from an old idea: hierarchical structuring. In previous work, we observed that the compositional interpretation of object-oriented designs requires the identification of theories intermediate between those of the constituent classes and associations and that of the entire system and that many constructions are naturally interpreted in theories corresponding to identified parts of the overall system. This has led us to propose a notion of subsystem which generalises the class-instance-based concept of object, yielding an approach to system-specification employing object-like encapsulation in a nested hierarchy of components. We will investigate subsystems as first-class objects in 00 system description achieving a hierarchical form of object-orientation.
|
|
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: |
|