Zpět na vyhledávání

Roman Konkol

Diplomová práce

Vykreslování flowgrafů pro provádění procesů popsaných formalismem Pi-kalkulu

Creating Flowgraph Chains Based on the Pi-calculus Formalised Processes
Anotace:
Cílem této práce je vytvořit systém schopný zobrazit komunikaci mezi procesy popsané algebrou Pi-kalkulu pomocí flowgrafů a navrhnout vhodné uložení formálního zápisu procesů v Pi-kalkulu. V rámci této práce jsem popsal formalismus Pi-kalkulu, postup převodu formalismu do XML dokumentu a navrhl systém zobrazující Pi-kakul pomocí flowgrafů.
Abstract:
The main objective of this thesis is to create an application that's capable to represent communicating processes described by Pi-calculus with flowgraphs and suggest suitable deposition for Pi-calculus formalism. In this thesis I described a transfer plan of Pi-calculus formalism to XML document and I suggest an application portrayed Pi-calculus processes by flowgraphs.
 

Klíčová slova

pi-kalkul flowgraf XML Extensible Markup Language procesní kalkul proces

Keywords

Pi-calculus flowgraph XML Extensible Markup Language process calculus process
 
Jazyk práce: čeština
Datum vytvoření / odevzdání či podání práce: 6. 5. 2011
Identifikátor: http://hdl.handle.net/10084/87077

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

  • Obhajoba proběhla 8. 6. 2011
  • Vedoucí: Štěpán Kuchař
  • Oponent: Jan Kožusznik

Citační záznam

Citovat tuto práci

Plný text práce

Právo: Plné texty vysokoškolských kvalifikačních prací obhájených na Vysoké škole báňské - Technické univerzitě Ostrava jsou uloženy v repozitáři DSpace. Přístup k plným textům mají všichni uživatelé bez omezení. Přístup je omezen pouze ve výjimečných případech, zpravidla z důvodu ochrany duševního vlastnictví. Nepřístupné práce jsou označeny jako closedAccess nebo embargoedAccess. Tištěné verze prácí jsou uloženy v Ústřední knihovně VŠB-TUO a jsou prezenčně přístupné ve studovně diplomových prací. Další nakládání s prací (kopírování, opisy, MVS) se řídí Knihovní a výpůjčním řádem Ústřední knihovny VŠB-TUO.

Obsah online archivu závěrečné práce
Zveřejněno v Theses:
  • autentizovaným zaměstnancům ze stejné školy/fakulty
Jak jinak získat přístup k textu
Instituce archivující a zpřístupňující práci: VŠB - Technická univerzita Ostrava

VŠB - Technická univerzita Ostrava

Fakulta elektrotechniky a informatiky

Magisterský studijní program / obor:
Informační a komunikační technologie / Informatika a výpočetní technika

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

Seznam prací, které mají shodná klíčová slova.
Všechny práce