Developing parallel applications using Kaira

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F11%3A86080888" target="_blank" >RIV/61989100:27240/11:86080888 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_22" target="_blank" >http://dx.doi.org/10.1007/978-3-642-22389-1_22</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-642-22389-1_22" target="_blank" >10.1007/978-3-642-22389-1_22</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Developing parallel applications using Kaira

Popis výsledku v původním jazyce

We are developing a tool named Kaira. This tool is intended for modelling, simulation and generation of parallel applications. Modelling is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background and we use their syntax and semantics. Moreover our tool can automatically generate standalone parallel applications from the model. In this paper we present how to develop parallel applications in Kaira. Like an example we use two dimensional heat flow problem solvedby Jacobi finite difference method. We present different aspects and different approaches how to model this problem in Kaira on different levels of abstraction.

Název v anglickém jazyce

Developing parallel applications using Kaira

Popis výsledku anglicky

We are developing a tool named Kaira. This tool is intended for modelling, simulation and generation of parallel applications. Modelling is based on the variant of Coloured Petri Nets. Coloured Petri Nets provide the theoretical background and we use their syntax and semantics. Moreover our tool can automatically generate standalone parallel applications from the model. In this paper we present how to develop parallel applications in Kaira. Like an example we use two dimensional heat flow problem solvedby Jacobi finite difference method. We present different aspects and different approaches how to model this problem in Kaira on different levels of abstraction.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GAP202%2F11%2F0340" target="_blank" >GAP202/11/0340: Modelování a verifikace paralelních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název periodika

Communications in Computer and Information Science

ISSN

1865-0929

e-ISSN

—

Svazek periodika

188

Číslo periodika v rámci svazku

—

Stát vydavatele periodika

DE - Spolková republika Německo

Počet stran výsledku

14

Strana od-do

237-251

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—