Information Systems Development via Model Transformations

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F18%3A10373034" target="_blank" >RIV/00216208:11320/18:10373034 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21230/18:00319694

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-75417-8_63" target="_blank" >http://dx.doi.org/10.1007/978-3-319-75417-8_63</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-75417-8_63" target="_blank" >10.1007/978-3-319-75417-8_63</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Information Systems Development via Model Transformations

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 ap-paratus 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 devel-opment 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 sys-tem.

Název v anglickém jazyce

Information Systems Development via Model Transformations

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 ap-paratus 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 devel-opment 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 sys-tem.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2018

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 statě ve sborníku

Intelligent Information and Database Systems

ISBN

978-3-319-75416-1

ISSN

—

e-ISSN

neuvedeno

Počet stran výsledku

10

Strana od-do

674-683

Název nakladatele

Springer

Místo vydání

Switzerland

Místo konání akce

Dong Hoi City

Datum konání akce

19. 3. 2018

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000432717700063