Implementace knihoven pro nástroj Kaira

Abstract

Tato práce je zaměřena na rozšíření nástroje KAIRA (http://verif.cs.vsb.cz/kaira/), který je dostupný jako open-source pod licencí GPL(GNU General Public License). Cílem mé práce je vytvořit knihovnu, která se skládá z pojmenovaných modulů, které mají svou specifickou funkčnost a jsou zaměřeny na konkrétní problematiku v oblasti paralelního programování z pohledu vizuálního návrhu.

Hlavní přínos mé práce spočívá ve snaze minimalizovat situace, se kterými se programátor setkává během konstrukce vizuálního modelu, kdy dochází ke skutečnosti, že programátor je nucen opakovaně vytvářet již kdysi vytvořené části řešení, sekvence míst, hran a přechodů, což snižuje jeho efektivitu při řešení daného problému.

This work is focused on expansion tool KAIRA (http://verif.cs.vsb.cz/kaira/), which is available as open-source under GPL (GNU General Public License). The goal of my work is create library that contains named modules with specific functions and focus on the issues about parallel programing from the perspective of visual draft.

The main benefit of my work is effort to minimize situations with which the programmer encounters during construction a visual model, when there is the fact, the programmer is forced to re-create already had formed part of the solution, sequences places, edges and transitions, which reduces its effectiveness in solving the problem.