Informační systém Masarykovy univerzity 

Archiv závěrečné práce Ľuboš Korenčiak FI B-AP BcAP, učo 208317

česky | in English

Změnit agendu. Adresa v ISu:

Masarykova univerzita

Fakulta informatiky

bakalářský studijní program/obor:
Aplikovaná informatika/Aplikovaná informatika

Bc. Ľuboš Korenčiak, učo 208317

Time Extension of Message Sequence Chart

Time Extension of Message Sequence Chart

Anotace: Message sequence charts (MSC) je grafický a textový formalizmus vhodný na na špecifikáciu distribuovanej komunikácie. Pozostáva z MSC a High-level MSC (HMSC). Formalizmus obsahuje možnosť špecifikácie času v navrhovaných systémoch. Existujú problémy nad časovými obmedzeniami v MSC, ako napríklad počítanie minimálnej siete. Prvé pokusy riešenia týchto problémov, ktoré využívajú rôzne prístupy, už boli prezentované. V tejto práci anlayzujeme rôzne prístupy k časovému rozšíreniu MSC. Ako najvhodnejší sa javí postup požívajúci labeled partially ordered sets. Je prezentované rozšírenie tohto prístupu na schpnosť formalizmu počítať minimálnu sieť. Je poskytnuté obmedzenie špecifikácie časových obmedzení na riadne obmedzena, ktoré nepovoľuje možnosť špecifikácie nejednoznačných a chybnych obmedzení. Pseudokódy algoritmov na kontrolovanie riadnych obmedzení sú poskytnuté.

Abstract: Message sequence charts (MSC) is a graphical and textual formalism suitable for specifying distributed communication. It consists of the MSC and a High-level MSC (HMSC). The formalism incorporates the possibility of specifying time in designed systems. There arise severe problems regarding timing constraints in MSC, such as computation of minimal network. First attempts to solve the problems using various approaches have been presented. In this thesis, we analyze different approaches to time extension of MSC. As most suitable appears to be the approach using labeled partially ordered sets. An extension to this approach is provided to handle computation of minimal network in MSC formalism with coregions and constraints in HMSC. Restriction to proper constraint specification is given, which rules out ambiguous and erroneous constraint specifications. Algorithm pseudocodes for checking proper time constraints are provided.

Message Sequence Charts, Message Sequence Graph, timing consistency, tightening, minimal network

Jazyk práce: angličtina

  • Zadáno/změněno 23. 6. 2009 12:47, Tomáš Navrátil, učo 70642
  • Záznam založen: 23. 4. 2009 11:28, Jana Zemanová, učo 9619
  • Zveřejnit od: 25. 5. 2009 13:24, Jana Zemanová, učo 9619
  • Práce převzata 25. 5. 2009 13:24 (Jana Zemanová, učo 9619)

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

  • proběhla 23. 6. 2009, práce byla úspěšně obhájena.
  • Vedoucí:
    • RNDr. Vojtěch Řehák, Ph.D., učo 3721, ITI FI MU
  • Oponent:
    • Mgr. Radek Sedláček, učo 3864, abs FI MU

  • Předmět SZZ: Bakalářská práce

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

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


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ě. Expirace: Seřadit vzestupně.Expirace: Seřadit sestupně.
Nástroje.  Archiv závěrečné práce Ľuboš Korenčiak FI B-AP BcAP, učo 208317 /fi_b/Korenčiak, Ľ.25.  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.txtKorenčiak, Ľ.25.  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.txtKorenčiak, Ľ.25.  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.txtKorenčiak, Ľ.25.  5. 2009
Číst smí:
• kdokoliv v Internetu
Nikdo nemá právo vkládat.Nikdo nemá právo spravovat.Žádný atribut.
Nástroje. posudek_oponent.pdfSedláček, R.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. thesis2.pdfKorenčiak, Ľ.25.  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: 22. 3. 2010 05:28, 12. (sudý) týden

Kontakty: isna(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