Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets

Simple item page
dc.contributor.advisorKritzinger, Pieter Sen_ZA
dc.contributor.authorKabutz, Heinz Maxen_ZA
dc.date.accessioned2015-07-14T09:03:15Z
dc.date.available2015-07-14T09:03:15Z
dc.date.issued1997en_ZA
dc.descriptionBibliography: leaves 113-117.en_ZA
dc.description.abstractIn this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and quantitative analysis of such systems is motivated. Formal methods are demonstrated which can be used to represent such Concurrent Communicating Systems. The Specification and Description Language (SDL) is shown in the context of Concurrent Communicating Systems and the software development cycle is described for SDL systems. Correctness and performance of SDL are discussed and it is shown how the semantics of time for performance can be introduced into SDL by adding external information, by extending the SDL syntax or by using compiler directives. In this thesis only external information is added.en_ZA
dc.identifier.apacitationKabutz, H. M. (1997). <i>Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/13524en_ZA
dc.identifier.chicagocitationKabutz, Heinz Max. <i>"Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1997. http://hdl.handle.net/11427/13524en_ZA
dc.identifier.citationKabutz, H. 1997. Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Kabutz, Heinz Max AB - In this thesis, the performance analysis of SDL with a new type of stochastic Petri net is described. This new net is called SDL-net. The Concurrent Communicating System is described, and the need for qualitative and quantitative analysis of such systems is motivated. Formal methods are demonstrated which can be used to represent such Concurrent Communicating Systems. The Specification and Description Language (SDL) is shown in the context of Concurrent Communicating Systems and the software development cycle is described for SDL systems. Correctness and performance of SDL are discussed and it is shown how the semantics of time for performance can be introduced into SDL by adding external information, by extending the SDL syntax or by using compiler directives. In this thesis only external information is added. DA - 1997 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1997 T1 - Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets TI - Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets UR - http://hdl.handle.net/11427/13524 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/13524
dc.identifier.vancouvercitationKabutz HM. Analytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri nets. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1997 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/13524en_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.titleAnalytical performance evaluation of concurrent communicating systems using SLD and stochastic Petri netsen_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_1997_kabutz_hm.pdf
Size:
2.18 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
PhD / Doctoral