Rozšiřování simulací v nástroji Kaira

Abstract

Tato bakalářská práce se zabývá rozšířením nástroje Kaira. Nástroj Kaira slouží pro tvorbu MPI aplikací. Programování v nástroji Kaira je založeno na tvorbě barevných Petriho sítí. Hlavním tématem této práce jsou Simulace. Simulace jsou část nástroje Kaira, kde simulujeme programy Kairy. Hlavní náplní je zachytit jednotlivé kroky neboli stavy simulace. Umožnit uživateli návrat do předchozích stavů. Synchronizovat komunikaci uživatelského rozhraní simulace s vygenerovanou aplikací. A vytvořit vhodné úložiště pro jednotlivé stavy. Dalším tématem je vytvořit automatickou simulaci. Tato automatická simulace bude programy simulovat bez zásahu uživatele.

This bachelor thesis deals with extensit of Kaira tool. Kaira tool is designed for creating MPI applications. Programming by Kaira tool is based on creating Coloured Petri Nets. Head topic of this thesis is simulations. Simulations are parts of Kaira tool, where we simulate Kaira programs. The main content is save single actions or states of simulation. Allow the user to return to previous states. Synchronize communication user interface of simulation with generated application. And create appropriately storage for single states. Next topic is create automatically simulation. This automatically simulation will simulate without user intervention.