Bisimulation as a verification and validation technique for message sequence charts

Simple item page
dc.contributor.advisorKritzinger, Pieter Sen_ZA
dc.contributor.authorWall, Philip Gerharden_ZA
dc.date.accessioned2014-11-18T18:28:27Z
dc.date.available2014-11-18T18:28:27Z
dc.date.issued1998en_ZA
dc.descriptionIncludes bibliographical references.en_ZA
dc.description.abstractThe complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence of Formal Description Techniques. FDTs not only provide the means for formally specifying a system, but also supply the theoretical basis for conformance testing. One such FDT is Message Sequence Charts(MSCs). MSCs have evolved out of the need to describe the inter-process flow of communication in a concise, easily understood, graphical format. MSCs originally took the form of system traces, but with the development of, and additions to the specification, the 1996 MSC specification now provides a comprehensive description technique. An FDT is of little use, unless it can be used in the validation and verification of a system specification. In the case of MSCs, this has usually involved the testing of a trace against a specification. Formal specification with MSCs has however provided the opportunity of testing the equivalence of MSC specifications.en_ZA
dc.identifier.apacitationWall, P. G. (1998). <i>Bisimulation as a verification and validation technique for message sequence charts</i>. (Thesis). University of Cape Town ,Faculty of Science ,Department of Computer Science. Retrieved from http://hdl.handle.net/11427/9722en_ZA
dc.identifier.chicagocitationWall, Philip Gerhard. <i>"Bisimulation as a verification and validation technique for message sequence charts."</i> Thesis., University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998. http://hdl.handle.net/11427/9722en_ZA
dc.identifier.citationWall, P. 1998. Bisimulation as a verification and validation technique for message sequence charts. University of Cape Town.en_ZA
dc.identifier.ris TY - Thesis / Dissertation AU - Wall, Philip Gerhard AB - The complexity of determining whether a system meets the requirements of its designers has increased with the widespread use of real time concurrent systems. This testing process has however been simplified with the emergence of Formal Description Techniques. FDTs not only provide the means for formally specifying a system, but also supply the theoretical basis for conformance testing. One such FDT is Message Sequence Charts(MSCs). MSCs have evolved out of the need to describe the inter-process flow of communication in a concise, easily understood, graphical format. MSCs originally took the form of system traces, but with the development of, and additions to the specification, the 1996 MSC specification now provides a comprehensive description technique. An FDT is of little use, unless it can be used in the validation and verification of a system specification. In the case of MSCs, this has usually involved the testing of a trace against a specification. Formal specification with MSCs has however provided the opportunity of testing the equivalence of MSC specifications. DA - 1998 DB - OpenUCT DP - University of Cape Town LK - https://open.uct.ac.za PB - University of Cape Town PY - 1998 T1 - Bisimulation as a verification and validation technique for message sequence charts TI - Bisimulation as a verification and validation technique for message sequence charts UR - http://hdl.handle.net/11427/9722 ER - en_ZA
dc.identifier.urihttp://hdl.handle.net/11427/9722
dc.identifier.vancouvercitationWall PG. Bisimulation as a verification and validation technique for message sequence charts. [Thesis]. University of Cape Town ,Faculty of Science ,Department of Computer Science, 1998 [cited yyyy month dd]. Available from: http://hdl.handle.net/11427/9722en_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.titleBisimulation as a verification and validation technique for message sequence chartsen_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_wall_p.pdf
Size:
3.59 MB
Format:
Adobe Portable Document Format
Description:
Download
Collections
Masters