A graphical representation for the formal description technique Estelle

Simple item page
dc.contributor.advisorKritzinger, Pieter Sen_ZA
dc.contributor.authorTemplemore-Finlayson, Justin Georgeen_ZA
dc.date.accessioned2016-01-02T04:52:30Z
dc.date.available2016-01-02T04:52:30Z
dc.date.issued1998en_ZA
dc.descriptionIncludes bibliographical references.en_ZA
dc.description.abstractThis 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.identifier.apacitationTemplemore-Finlayson, J. G. (1998). <i>A graphical representation for the formal description technique Estelle</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/16139en_ZA
dc.identifier.chicagocitationTemplemore-Finlayson, Justin George. <i>"A graphical representation for the formal description technique Estelle."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998. http://hdl.handle.net/11427/16139en_ZA
dc.identifier.citationTemplemore-Finlayson, J. 1998. A graphical representation for the formal description technique Estelle. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Templemore-Finlayson, Justin George AB - 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. DA - 1998 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1998 T1 - A graphical representation for the formal description technique Estelle TI - A graphical representation for the formal description technique Estelle UR - http://hdl.handle.net/11427/16139 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/16139
dc.identifier.vancouvercitationTemplemore-Finlayson JG. A graphical representation for the formal description technique Estelle. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/16139en_ZA
dc.language.isoengen_ZA
dc.publisher.departmentDepartment of Computer Scienceen_ZA
dc.publisher.facultyFaculty of Scienceen_ZA
dc.publisher.institutionUniversity of Cape Town
dc.subject.otherComputer Scienceen_ZA
dc.titleA graphical representation for the formal description technique Estelleen_ZA
dc.typeMaster Thesis
dc.type.qualificationlevelMasters
dc.type.qualificationnameMScen_ZA
uct.type.filetypeText
uct.type.filetypeImage
uct.type.publicationResearchen_ZA
uct.type.resourceThesisen_ZA
Files
Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
thesis_sci_1998_templemore_finlayson_justin_george.pdf
Size:
3.43 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters