A graphical representation for the formal description technique Estelle

 

Show simple item record

dc.contributor.advisor Kritzinger, Pieter S en_ZA
dc.contributor.author Templemore-Finlayson, Justin George en_ZA
dc.date.accessioned 2016-01-02T04:52:30Z
dc.date.available 2016-01-02T04:52:30Z
dc.date.issued 1998 en_ZA
dc.identifier.citation Templemore-Finlayson, J. 1998. A graphical representation for the formal description technique Estelle. University of Cape Town. en_ZA
dc.identifier.uri http://hdl.handle.net/11427/16139
dc.description Includes bibliographical references. en_ZA
dc.description.abstract This dissertation concerns the specification and description of complex communicating systems using Formal Description Techniques. Specifically, we propose a standard graphical representation for the Formal Description Technique Estelle and present a prototype editor based on this representation. Together they integrate the new graphical representation with existing Estelle textual tools to create a powerful graphical design technique for Estelle. The perennial popularity of graphical techniques, combined with recent advances in computer graphics hardware and software which enable their effective application in a computing environment, provide a double impetus for the development of a graphical representation for Estelle. Most importantly, a graphical technique is more easily read and understood by humans, and can better describe the complex structure and inter-relationships of components of concurrent communicating systems. Modern graphical technology also presents a number of opportunities, separate from the specification method, such as hyperlinking, multiple windows and hiding of detail, which enrich the graphical technique. The prototype editor makes use of these opportunities to provide the protocol engineer with an advanced interface which actively supports the protocol design process to improve the quality of design. The editor also implements translations between the graphical representation and the standard Estelle textual representation, on the one hand allowing the graphical interpretation to be applied to existing textual specifications, and on the other, the application of existing text-based processing tools to a graphical specification description. en_ZA
dc.language.iso eng en_ZA
dc.subject.other Computer Science en_ZA
dc.title A graphical representation for the formal description technique Estelle en_ZA
dc.type Thesis / Dissertation en_ZA
uct.type.publication Research en_ZA
uct.type.resource Thesis en_ZA
dc.publisher.institution University of Cape Town
dc.publisher.faculty Faculty of Science en_ZA
dc.publisher.department Department of Computer Science en_ZA
dc.type.qualificationlevel Masters en_ZA
dc.type.qualificationname MSc en_ZA
uct.type.filetype Text
uct.type.filetype Image


Files in this item

This item appears in the following Collection(s)

Show simple item record