Skip to main content

Formally Integrated Data Environment

Objective

FIDE 2's research addresses the current critical situation in the construction, maintenance and operation of persistent application systems (PASs). The objective is to formulate a consistent framework for the support of the PAS construction and maintenance process, populate this with a consistent set of concepts, and show that this combination is not only sufficient for the construction and maintenance of PASs but also enables significant economies in their software construction and operation and permits the construction of more sophisticated PASs. FIDE 2 aims to encompass a wider range of the construction and operation activities than have been integrated hitherto and issues arising from longer-lived, larger-scale and more distributed systems than were considered in FIDE 1.

This objective will be met in three stages: 1) via a thorough analysis of the construction process of PASs and of the contributing concepts, technologies and components, and via a formulation of a consistent model for such applications, so that they may be constructed in the context of a much simpler, more coherent environment; 2) provide demonstrable prototype database programming language environments, database system environments and a prototype PAS workbench; 3) use these prototypes to demonstrate that a consistent and coherent Fully Integrated Data Environment (FIDE) can be achieved through technology and concepts integration, and that it yields a quantum leap in the productivity of PAS software engineers.
Within the programming language environment theme, important research topics were:
type systems (foundations, algorithms, dependent types, late binding overloading, schema evolution and dynamic abstract witness types);
bulk data types (how to provide bulk types, notations for query languages and structuring of libraries);
reflection;
language design studies (on more expressive data modelling mechanisms, modularization and program composition mechanisms, and concurrency and transactions).

The database system environments work has concentrated on the comparison of the different persistent higher order abstract machines (PHOLAM) used to implement the various formally integrated data environment (FIDE) languages and the prototyping of object stores architectures to explore areas such as performance, distribution and scalability.

The persistent application systems (PAS) workbench strand has included the development of prototype workbench components and experiments in interoperability.
At the first review of the project in September 1993 a number of prototypes were demonstrated. These were concerned with language development (Fibonacci); optimization strategies and interoperability in the Tycoon environment; 2 different object store developments; and 3 prototype workbench components: a hyperprogramming environment, a graphical interface for constructing Napier88 programs and a reusable component retrieval system.
APPROACH AND METHODS

The FIDE 2 approach depends on the development of clearly specified concepts. These will be verified via discussion among the partners and via incorporation into experimental systems. These systems comprise database and persistent languages, persistent object stores and tool sets that enable their use. The consortium considers it essential to test the concepts in order to demonstrate that they are comprehensible to system builders and feasible to the engineer. All work in progress and final results are being published in the FIDE Research Report series, and the results will appear in the research literature.

POTENTIAL

In the short term, the primary influence of FIDE 2 will be on other research groups, who are expected to adopt its concepts and architectures in their explorations of extensions to database capabilities, programming language functionality and support system architectures. In the medium term, it will influence the development of widely used languages and the burgeoning research into persistent systems. Ultimately it will lead to new support system architectures modifying or replacing the operating systems of today. As the consistent and systematic semantics of concepts developed by FIDE 2 for building and managing long-lived systems gain adherence, the efficiency and achievements of the European software industry should be improved.

Coordinator

UNIVERSITY OF GLASGOW
Address
Oakfield Avenue, Rankine Building
G12 8LT Glasgow
United Kingdom

Participants (5)

Institut National de Recherches en Informatique et en Automatique (INRIA)
France
Address
Domaine De Voluceau Rocquencourt
78153 Le Chesnay
NATIONAL RESEARCH COUNCIL OF ITALY
Italy
Address
Via G. Moruzzi 1
56124 Pisa
University of St Andrews
United Kingdom
Address
North Haugh
KY16 9SS St Andrews
Università degli Studi di Pisa
Italy
Address
Lungarno Pacinotti 45
56100 Pisa
Universität Hamburg
Germany
Address
Moorweidenstraße 18
20148 Hamburg