Contact us Heritage collections Image license terms
HOME ACL ACD C&A INF SE ENG Alvey Transputers Literature
Further reading □ OverviewHistoryAlvey DirectorateSeries 63InfrastructureWorkstationsConferencesAlvey News 1Alvey News 20After AlveyAlvey AuditIEE SE 1984 □ Alvey Reports □ Overview SE 11/83SE Strategy 11/83Overview Reliability/Metrics 4/84Reliability/Metrics 4/84Formal Methods 4/84Knowledge Based IPSE 8/84MMI Strategy 8/84Infrastructure 9/84DeliverablesSE Deliverables
CCD CISD Archives Contact us Heritage archives Image license terms

Search

   
InformaticsAlvey
InformaticsAlvey
ACL ACD C&A INF CCD CISD Archives
Further reading

OverviewHistoryAlvey DirectorateSeries 63InfrastructureWorkstationsConferencesAlvey News 1Alvey News 20After AlveyAlvey AuditIEE SE 1984
Alvey Reports
Overview SE 11/83SE Strategy 11/83Overview Reliability/Metrics 4/84Reliability/Metrics 4/84Formal Methods 4/84Knowledge Based IPSE 8/84MMI Strategy 8/84Infrastructure 9/84DeliverablesSE Deliverables

Infrastructure

Informatics provided support for the Alvey programme since its inception.

As the various Directors turned to Informatics for extra effort different functions emerged and evolved over the years in the areas of IKBS, SE and MMI. The scope of these activities eventually included:

In many respects the achievements of this kind of work were invisible: meetings happen, minutes appear, invoices are paid, mailshots arrive, contracts run and so on. They only became visible when something failed. However, the development work undertaken by Informatics for delivery to the Alvey community did led to visible results; some of the highlights are given below.

  1. ML/LCF Effort was made available to assist Edinburgh define a standard form of the functional language ML - this became Standard ML (SML). The ML/LCF package was converted into SML at RAL and made available to the Alvey community. The original implementation was on a Vax; it was subsequently ported to SUN, UTS and Pyramid. A code optimiser was then built which produced a tenfold increase in performance.
  2. FORSITE Project The FORSITE project requested Informatics to build them a parser for the specification language Z, which generated SML output code. The staff to build this parser were seconded to PRG Oxford for this task. The result was initially used by FORSITE but was later more widely applicable.
  3. The Alvey Prolog Benchmarks SIGAI believed that there was a need to improve upon the Portland State University Prolog benchmarks, which had been used to evaluate the performance of various Prologs . A contract was placed with Imperial Software Technology to produce the Alvey Prolog Benchmarks. Cambridge were asked to analyse both existing benchmarks and the new set, and the new set was run with various prologs on various machines. The software, the results and the Cambridge report were made available on request.
  4. Concurrency Workbench Edinburgh's Laboratory for the Foundations of Computer Science built a set of tools written in SML - the Calculus of Communicating Systems _ but were aware that a proper user-interface was needed if the tools were to be used by non-expert users. A joint development project between the SE and HCI teams in Informatics was initiated which will result in a generalised user interface toolkit for SML.
  5. Window Managers The Alvey directorate asked Informatics to organise a workshop on Window Management in the spring of 1985. The results were published as a book which was typeset at RAL. The book ended with a recommended work programme. Eventually it was agreed that an infrastructure project would be undertaken at RAL to define a low level interface between graphical applications and the window manager the Client Server Interface (CSI). Once defined it was implemented on a number of workstations, following discussions with manufacturers. A RAL-developed toolkit (WW) was built on top of it. The toolkit was used to build several portable demonstrators, including the editor SPY, and by the University of Kent for a collection of Unix utilities such as a file comparator and a directory/file browser. It was also used for a major demonstration at the UMIST Alvey exhibition.
  6. ISO Communications GEC implemented low level ISO connectionless protocols (LLC1) for their Ethernet connection. ERCC received infrastructure funding to build the York version of JANET's Coloured Books code over ISO Transport Class 4. Informatics then ported this code onto a Vax (running Berkeley Unix 4.2) and UTS (Unix Version 7). GEC eventually agreed to provide the Arpanet protocol set (tcp/ip) on the Series 63. ERCC were then contracted to port SUN's Network File System over both ISO and Arpa protocols. Apart from the direct benefits to the infrastructure this gave ERCC, Informatics and the users an early awareness of the strengths and weakness of the OSI standards.
⇑ Top of page
© Chilton Computing and UKRI Science and Technology Facilities Council webmaster@chilton-computing.org.uk
Our thanks to UKRI Science and Technology Facilities Council for hosting this site