Use this URL to cite or link to this record in EThOS:
Title: The design of formal languages
Author: Salter, Ian
ISNI:       0000 0001 3547 7448
Awarding Body: University of London
Current Institution: University College London (University of London)
Date of Award: 1995
Availability of Full Text:
Access from EThOS:
Full text unavailable from EThOS. Please try the link below.
Access from Institution:
The aim of the thesis is to develop a framework to support the design of formal languages. The thesis consists of two parts. The first part attempts to develop a conception of formal language design. The conception considers the nature of formal languages and acts as a specification for a framework to support the design of formal languages. The second part develops the formal aspects of such a framework. The first part considers the nature of formality and the nature of disciplines. Formality is considered in terms of different philosophies of mathematics, it illustrates how these different philosophies give rise to different notions of formality, and leads finally to a strongly relativistic definition of formal language. The nature of disciplines is considered in terms of philosophies of science resulting in the definition of a generic engineering conception of design disciplines. The definition of formal language is used to instantiate the generic engineering conception resulting in the conception of formal language design. The basis of the framework that forms the second part of the thesis is the Z notation enriched with Category theory. This notation is used to instantiate the conception outlined in the first part of the thesis. Pre-order categories are advocated as the basis for representing conflicting requirements for formal languages. Category theory is used to develop a generalised notion for defining the syntax of languages that, when used by appropriate agents, satisfy language requirements. According to the conception, knowledge to support design is embodied in engineering principles. Categorial notions are used to describe the formal and empirical components of engineering principles.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available
Keywords: Engineering; Syntax; Conception