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

Abstract

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ů.

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.