Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
A graphical representation for the formal description technique Estelle
Includes bibliographical references.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2016
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867613168919904256 |
|---|---|
| access_status_str | Open Access |
| author | Templemore-Finlayson, Justin George |
| author2 | Kritzinger, Pieter S |
| author_browse | Kritzinger, Pieter S Templemore-Finlayson, Justin George |
| author_facet | Kritzinger, Pieter S Templemore-Finlayson, Justin George |
| author_sort | Templemore-Finlayson, Justin George |
| collection | Thesis |
| description | Includes bibliographical references. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/16139 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:31:52.071Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2016 |
| publishDateRange | 2016 |
| publishDateSort | 2016 |
| publisher | Department of Computer Science |
| publisherStr | Department of Computer Science |
| record_format | dspace |
| source_str | UCTD — University of Cape Town Open Access Repository |
| spelling | oai:open.uct.ac.za:11427/16139 A graphical representation for the formal description technique Estelle Templemore-Finlayson, Justin George Kritzinger, Pieter S Computer Science Includes bibliographical references. 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. 2016-01-02T04:52:30Z 2016-01-02T04:52:30Z 1998 Master Thesis Masters MSc http://hdl.handle.net/11427/16139 eng application/pdf Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science Templemore-Finlayson, Justin George A graphical representation for the formal description technique Estelle |
| thesis_degree_str | Master's |
| title | A graphical representation for the formal description technique Estelle |
| title_full | A graphical representation for the formal description technique Estelle |
| title_fullStr | A graphical representation for the formal description technique Estelle |
| title_full_unstemmed | A graphical representation for the formal description technique Estelle |
| title_short | A graphical representation for the formal description technique Estelle |
| title_sort | graphical representation for the formal description technique estelle |
| topic | Computer Science |
| url | http://hdl.handle.net/11427/16139 |
| work_keys_str_mv | AT templemorefinlaysonjustingeorge agraphicalrepresentationfortheformaldescriptiontechniqueestelle AT templemorefinlaysonjustingeorge graphicalrepresentationfortheformaldescriptiontechniqueestelle |