Information Systems Development via Model Transformations
The result's identifiers
Result code in 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>
Alternative codes found
RIV/68407700:21230/18:00319694
Result on the web
<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>
Alternative languages
Result language
angličtina
Original language name
Information Systems Development via Model Transformations
Original language description
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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2018
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Intelligent Information and Database Systems
ISBN
978-3-319-75416-1
ISSN
—
e-ISSN
neuvedeno
Number of pages
10
Pages from-to
674-683
Publisher name
Springer
Place of publication
Switzerland
Event location
Dong Hoi City
Event date
Mar 19, 2018
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
000432717700063