Návrh heterogenních modelů složitých a rozsáhlých systémů v klasickém programovacím nebo simulačním jazyce má některé nevýhody. Je to především nepřehlednost takových kombinovaných modelů. Proto je naším cílem vytvořit modulární a uživatelsky přívětivé prostředí pro návrh heterogenních modelů, které by navíc umožňovalo jejich alespoň částečné verifikování. Východiskem bude vytvoření formálního popisu grafové struktury, která bude slučovat spojité a diskrétní přístupy. Dále bude tato struktura umožňovat přidávání dalších modelovacích metod a konceptů. Navrhneme a vytvoříme grafický editor, který tento graf zpracuje, a který bude možné rozšiřovat podobně jako vlastní grafovou strukturu.

Description in English
The design of heterogeneous models of complex and extensive systems is affected by some disadvantages when one uses the standard programming or simulative language. Especially it is the untransparency of such combined models. Our goal is therefore to create a modular and user friendly environment for design of heterogeneous models. Moreover it should allow, at least partial, verification of such models. The starting point will be the design of a formal description of a graph structure merging continuous and discrete approaches. This structure will also allow the addition of the other modelling methods and approaches. We will design and create the graphical editor that will be able to process such a structure, and that will be able to extend according to the graph structure itself.

Keywords
heterogenní modelování, prostředí pro vizuální modelování, Java, Eclipse

Key words in English
heterogeneous modelling, environment for visual modelling, Java, Eclipse