Informační systém Masarykovy univerzity 

Archiv závěrečné práce Martin Křivánek FI B-IN BcIN

česky | in English

Agenda:
Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Informatika/Informatika

Práce na příbuzné téma

Zobrazit popisek

Mgr. Martin Křivánek

Probabilistic Extension of Message Sequence Chart

Probabilistic Extension of Message Sequence Chart

Anotace: Message Sequence Chart (MSC) je textový a grafický formalizmus používaný pro popis komunikujících systémů. Kombinací více MSC můžeme získat High-level Message Sequence Chart (hMSC) s větší vyjadřovací silou. Nedávno byly do MSC přidány časové a pravděpodobnostní vlastnosti. V této práci je přehled aktuálních přístupů pro práci s MSC rozšířeném o pravděpodobnost. Také navrhujeme, jak zacházet s pravděpodobnostními vlastnostmi v MSC, případně hMSC, a vypočítávat výkonnostní vlastnosti systému.

Abstract: Message Sequence Chart (MSC) is an appealing textual and graphical formalism for describing communicating systems. MSCs can be composed into High-level Message Sequence Charts (hMSC) with greater expressiveness. Recently, time and probability properties have been introduced into MSC. We provide a survey of the current work related to MSC extended by probability. We also suggest how to deal with stochastic information in~MSC and hMSC and how to compute performance properties of the system.

Message Sequence Chart, High-level Message Sequence Chart, time, probability, stochastic processes

Zadání: Formalizmus Message Sequence Chart (MSC, standard ITU-T Z.120) je navržen k popisu komunikačního chování distribuovaných entit. MSC zachycuje komunikační sekvence zasílaných zpráv. Pro přesnější (tj. realističtější) formální modelování a následné ověření korektnosti návrhu komunikačních protokolů se jako potřebné jeví rozšířit MSC o prvky pravděpodobnosti. V odborné literatuře se první pokusy tohoto …více

Jazyk práce: angličtina

  • Zadáno/změněno 26. 6. 2009 10:23, Jana Zemanová
  • Záznam založen 23. 4. 2009 11:30, Jana Zemanová
  • Zveřejnit od 25. 5. 2009 10:26, Jana Zemanová
  • Práce převzata 25. 5. 2009 10:26, Jana Zemanová

Obhajoba závěrečné práce

  • Proběhla 25. 6. 2009, práce byla úspěšně obhájena.
  • Předmět SZZ: Bakalářská práce

Vedoucí:

  • RNDr. Vojtěch Řehák, Ph.D., ITI FI MU

Oponent:

Plný text práce

Citační záznam

Citace dle ISO 690: LaTeX | HTML | text | BibTeX

Kontrola závěrečné práce

Práce zkontrolována: 27. 5. 2009 09:40, RNDr. Vojtěch Řehák, Ph.D.


Nástroje.Seřadit vzestupně.Seřadit sestupně. Spočítat nepřečtené soubory ve složkách. Spočítat velikost složek. Zobrazit mapu souborů. Napřed složky, pak soubory.Seřadit vzestupně.Seřadit sestupně. Složka či souborSeřadit vzestupně.Seřadit sestupně. Vložil/aSeřadit vzestupně.Seřadit sestupně. VloženoSeřadit vzestupně.Seřadit sestupně. Exspirace: Seřadit vzestupně.Exspirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Martin Křivánek FI B-IN BcIN /fi_b/Křivánek, M.24.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace anglicky annotation_english.txtKřivánek, M.24.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Anotace česky annotation.txtKřivánek, M.24.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje.Klíčová slova keywords.txtKřivánek, M.24.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek_oponenta.pdfBrázdil, T.17.  6. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Soubor je nepřístupný.posudek_vedouciho.pdfŘehák, V.16.  6. 2009
Číst smí:
• kdokoliv přihlášený v ISu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. thesis.pdfKřivánek, M.24.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Prohlédnout tuto složku po přihlášení do ISu (znáte-li svoje heslo do ISu, můžete zde vidět více souborů)

Relevantní odkazy 


Nahoru | Aktuální datum a čas: 13. 2. 2012 16:26, 7. (lichý) týden

Kontakty: istech(zavináč/atsign)fi(tečka/dot)muni(tečka/dot)cz, studijní odd., správci práv, is-technici, e-technici, IT podpora | Více o informačním systému