Full Text Available
Note: Clicking the button above will open the full text document at the original institutional repository in a new window.
Bisimulation as a verification and validation technique for message sequence charts
Includes bibliographical references.
Saved in:
| Main Author: | |
|---|---|
| Other Authors: | |
| Format: | Thesis |
| Language: | English |
| Published: |
Department of Computer Science
2014
|
| Subjects: | |
| Tags: |
No Tags, Be the first to tag this record!
|
| _version_ | 1867614403503849472 |
|---|---|
| access_status_str | Open Access |
| author | Wall, Philip Gerhard |
| author2 | Kritzinger, Pieter S |
| author_browse | Kritzinger, Pieter S Wall, Philip Gerhard |
| author_facet | Kritzinger, Pieter S Wall, Philip Gerhard |
| author_sort | Wall, Philip Gerhard |
| collection | Thesis |
| description | Includes bibliographical references. |
| format | Thesis |
| id | oai:open.uct.ac.za:11427/9722 |
| institution | University of Cape Town (South Africa) |
| language | eng |
| last_indexed | 2026-06-10T12:51:29.572Z |
| license_str | Not specified — see source repository |
| provenance_str_mv | Harvested via OAI-PMH from UCTD — University of Cape Town Open Access Repository |
| publishDate | 2014 |
| publishDateRange | 2014 |
| publishDateSort | 2014 |
| 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/9722 Bisimulation as a verification and validation technique for message sequence charts Wall, Philip Gerhard Kritzinger, Pieter S Computer Science Includes bibliographical references. 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. 2014-11-18T18:28:27Z 2014-11-18T18:28:27Z 1998 Master Thesis Masters MSc http://hdl.handle.net/11427/9722 eng application/pdf Department of Computer Science Faculty of Science University of Cape Town |
| spellingShingle | Computer Science Wall, Philip Gerhard Bisimulation as a verification and validation technique for message sequence charts |
| thesis_degree_str | Master's |
| title | Bisimulation as a verification and validation technique for message sequence charts |
| title_full | Bisimulation as a verification and validation technique for message sequence charts |
| title_fullStr | Bisimulation as a verification and validation technique for message sequence charts |
| title_full_unstemmed | Bisimulation as a verification and validation technique for message sequence charts |
| title_short | Bisimulation as a verification and validation technique for message sequence charts |
| title_sort | bisimulation as a verification and validation technique for message sequence charts |
| topic | Computer Science |
| url | http://hdl.handle.net/11427/9722 |
| work_keys_str_mv | AT wallphilipgerhard bisimulationasaverificationandvalidationtechniqueformessagesequencecharts |