Information Systems Development with the help of Petri Nets

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F71226401%3A_____%2F19%3AN0100279" target="_blank" >RIV/71226401:_____/19:N0100279 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/00216208:11320/20:10398419

Výsledek na webu

<a href="https://www.worldscientific.com/doi/abs/10.1142/S2196888820500025" target="_blank" >https://www.worldscientific.com/doi/abs/10.1142/S2196888820500025</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1142/S2196888820500025" target="_blank" >10.1142/S2196888820500025</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Information Systems Development with the help of Petri Nets

Popis výsledku v původním jazyce

Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.

Název v anglickém jazyce

Information Systems Development with the help of Petri Nets

Popis výsledku anglicky

Many present systems can be developed by a sequence of transformations from the source specification to the final implementation. An interesting question is whether we can support such a sequence of transformations by some formal apparatus that enables to verify succeeding steps of development, and finally also the whole development process. As an example, we use the transformation of a definition of the set of autonomous agents by classical workflow models and then transform them into a set of Petri nets. Such transformation would support development of software systems, whose specification is based on classical workflow models, but the implementation is based on Petri nets. Each part of the designed system is translated from workflow model into Petri nets, and interpreted by the special Petri Nets Virtual Machines, which are installed on all nodes of the system.

Druh

J_ost - Ostatní články v recenzovaných periodicích

CEP obor

—

OECD FORD obor

20205 - Automation and control systems

Projekt

—

Návaznosti

N - Vyzkumna aktivita podporovana z neverejnych zdroju

Rok uplatnění

2019

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

Vietnam Journal of Computer Science

ISSN

2196-8888

e-ISSN

2196-8896

Svazek periodika

07

Číslo periodika v rámci svazku

01

Stát vydavatele periodika

VN - Vietnamská socialistická republika

Počet stran výsledku

27

Strana od-do

41-64

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—