Automatic generation of software design tools supporting semantics of modelling techniques

Serrano, José Artur Ferreira da Silva e Vale (1997) Automatic generation of software design tools supporting semantics of modelling techniques. PhD thesis, University of Glasgow.

Full text available as:
[thumbnail of 1997SerranoPhD.pdf] PDF
Download (9MB)
[thumbnail of 1997SerranoPhDCoverSheet.pdf] PDF
Download (47kB)
Printed Thesis Information: https://eleanor.lib.gla.ac.uk/record=b1661551

Abstract

A generic visual language for diagram editing has been created which may be instantiated for a particular modelling technique. The instantiated visual language is used within the generated design tool. It provides non-obtrusive guidance observing the semantics of the underlying modelling technique. The tool user is allowed to produce intermediate inconsistent states to facilitate diagram editing.A prototype, comprising a compiler for the specification language, a multi-purpose graph tool and a configurable design tool was implemented to prove the feasibility of the complete approach.The prototype compiler generates executable code. The target of the compiler is the persistent programming language Napier88. The architecture of the compiler has been designed as two separate components: a front-end (the parser), and a back-end (the code generator). This approach gives independence from the target language.The code generator comprises a number of translation rules to produce Napier88 from a VC-t specification. The prototype compiler only incorporates some of the translation rules to demonstrate that executable Napier88 can be generated automatically. The remainder of the translation rules have been applied manually to produce Napier88, to demonstrate that the rules are correct.The multi-purpose graph tool, designated as GraphTool, can be used with the class of applications using graphs as their main data structures. It provides support for visual and interactive representations of an application. The application acts as a client of the Graph-Tool. A protocol has been defined to connect the client application to the GraphTool. Any number of visual representations can be associated with the application. Maps are used for this purpose: to change the representation it is only necessary to change the map. The GraphTool includes a constraint manager used to associate constraints with the representations objects and check these at run-time.The configurable design tool has been developed as a client for the GraphTool. It includes generic components for diagram editing and a drawing canvas. The functionality of the canvas is fully provided by the GraphTool.

Item Type: Thesis (PhD)
Qualification Level: Doctoral
Subjects: T Technology > T Technology (General)
Colleges/Schools: College of Science and Engineering > School of Computing Science
Supervisor's Name: Welland, Ray
Date of Award: 1997
Depositing User: Mrs Marie Cairney
Unique ID: glathesis:1997-7018
Copyright: Copyright of this thesis is held by the author.
Date Deposited: 08 Jan 2016 14:47
Last Modified: 08 Jan 2016 14:47
URI: https://theses.gla.ac.uk/id/eprint/7018

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year