Bc. Václav Vacek

Master's thesis

New checkers for Sequence Chart Studio

New checkers for Sequence Chart Studio
Abstract:
Pro specifikace komunikace se často užívá formalismus zvaný Message Sequence Chart. Ačkoliv vznikl pro oblast telekomunikací, jeho použití je všestranné. Tým studentů Fakulty informatiky vyvíjí aplikaci pro kreslení a verifikaci MSC - Sequence Chart Studio (SCStudio). Tato práce popisuje částo tohoto vývoje: Existující verifikační algoritmy byly revidovány a opraveny a bylo implementováno pět algoritmů …more
Abstract:
For the specification of communication between entities, the formalism called Message Sequence Chart is often used. Even though it originates from the telecommunication area, its usage is not limited to it. A team of students at the Faculty of Informatics has been developing an application for drawing and verifying Message Sequence Charts called Sequence Chart Studio (SCStudio). This thesis describes …more
 

Keywords

Message Sequence Chart MSC Sequence Chart Studio SCStudio verification model of communication model checking LTL race condition local choice boundedness
 
Language used: English
Date on which the thesis was submitted / produced: 10. 1. 2011
Identifier: https://is.muni.cz/th/asieu/

Thesis defence

  • Date of defence: 9. 2. 2011
  • Supervisor: RNDr. Vojtěch Řehák, Ph.D.

Citation record

Cite this text

Full text of thesis

Contents of on-line thesis archive
Published in Theses:
  • světu
Other ways of accessing the text
Institution archiving the thesis and making it accessible: Masarykova univerzita, Fakulta informatiky
Složka Reference to the local database directory of the institution

Masaryk University

Faculty of Informatics

Master programme / field:
Informatics / Theoretical Informatics

Theses on a related topic

List of theses with an identical keyword.
All theses