Protocol engineering from Estelle specifications

Simple item page
dc.contributor.advisorKritzinger, Pieter Sen_ZA
dc.contributor.authorWheeler, Grahamen_ZA
dc.date.accessioned2015-07-14T09:03:32Z
dc.date.available2015-07-14T09:03:32Z
dc.date.issued1993en_ZA
dc.descriptionBibliography: leaves 129-132.en_ZA
dc.description.abstractThe design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes increasingly distributed. This thesis examines the problem of predicting . the performance of a multi-layered protocol system directly from formal specifications in the ISO specification language Estelle, a general-purpose Pascal-based language with support for concurrent processes in the form of communicating extended finite-state machines. The thesis begins with an overview of protocol engineering, and a discusses the areas of performance evaluation and protocol specification. Important parts of the mathematics of discrete-time semi-Markov processes are presented to assist in understanding the approaches to performance evaluation described later. Not much work has been done to date in the area of performance prediction from specifications. The idea was first mooted by Rudin, who illustrated it with a simple model based on the global state reachability graph of a set of synchronous communicating FSMs. About the same time Kritzinger proposed a closed multiclass queueing model. Both of these approaches are described, and their respective strengths and weaknesses pointed out. Two new methods are then presented. They have been implemented as part of an Estelle-based CASE tool, the Protocol Engineering Workbench (PE!V). In the first approach, we show how discrete-time semi-Markov chain models can be derived from meta-executions of Estelle specifications, and consider ways of using these models predictively. The second approach uses a structure similar to a global-state graph. Many of the limitations of Rudin's approach are overcome, and our technique produces highly accurate performance predictions. The PEW is also described in some detail, and its use in performance evaluation illustrated with some examples. The thesis concludes with a discussion of the strengths and weaknesses of the new methods, and possible ways of improving them.en_ZA
dc.identifier.apacitationWheeler, G. (1993). <i>Protocol engineering from Estelle specifications</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/13530en_ZA
dc.identifier.chicagocitationWheeler, Graham. <i>"Protocol engineering from Estelle specifications."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1993. http://hdl.handle.net/11427/13530en_ZA
dc.identifier.citationWheeler, G. 1993. Protocol engineering from Estelle specifications. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Wheeler, Graham AB - The design of efficient, reliable communication protocols has long been an area of active research in computer science and engineering, and will remain so while the technology continues to evolve, and information becomes increasingly distributed. This thesis examines the problem of predicting . the performance of a multi-layered protocol system directly from formal specifications in the ISO specification language Estelle, a general-purpose Pascal-based language with support for concurrent processes in the form of communicating extended finite-state machines. The thesis begins with an overview of protocol engineering, and a discusses the areas of performance evaluation and protocol specification. Important parts of the mathematics of discrete-time semi-Markov processes are presented to assist in understanding the approaches to performance evaluation described later. Not much work has been done to date in the area of performance prediction from specifications. The idea was first mooted by Rudin, who illustrated it with a simple model based on the global state reachability graph of a set of synchronous communicating FSMs. About the same time Kritzinger proposed a closed multiclass queueing model. Both of these approaches are described, and their respective strengths and weaknesses pointed out. Two new methods are then presented. They have been implemented as part of an Estelle-based CASE tool, the Protocol Engineering Workbench (PE!V). In the first approach, we show how discrete-time semi-Markov chain models can be derived from meta-executions of Estelle specifications, and consider ways of using these models predictively. The second approach uses a structure similar to a global-state graph. Many of the limitations of Rudin's approach are overcome, and our technique produces highly accurate performance predictions. The PEW is also described in some detail, and its use in performance evaluation illustrated with some examples. The thesis concludes with a discussion of the strengths and weaknesses of the new methods, and possible ways of improving them. DA - 1993 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1993 T1 - Protocol engineering from Estelle specifications TI - Protocol engineering from Estelle specifications UR - http://hdl.handle.net/11427/13530 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/13530
dc.identifier.vancouvercitationWheeler G. Protocol engineering from Estelle specifications. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1993 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/13530en_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.titleProtocol engineering from Estelle specificationsen_ZA
dc.typeDoctoral Thesis
dc.type.qualificationlevelDoctoral
dc.type.qualificationnamePhDen_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_1993_wheeler_g.pdf
Size:
4.16 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
PhD / Doctoral