Detail výsledku

Model Transformations via XSLT

PAVLÁT, J.; RICHTA, K.; RICHTA, T.; JANOUŠEK, V. Model Transformations via XSLT. In DATESO 2017. Praha: Faculty of Electrical Engineering, Czech Technical University, 2017. p. 43-54. ISBN: 978-80-01-06138-1.
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Pavlát Jakub
Richta Karel
Richta Tomáš, Ing., Ph.D., UITS (FIT)
Janoušek Vladimír, doc. Ing., Ph.D., UITS (FIT)
Abstrakt

Many present systems are conceived as a set of autonomous agents that communicate together in solving problems. Petri nets are commonly used for a specification of parallel systems. An interesting question is whether we can implement arbitrary system by a set of Petri nets agents. These agents could be specified by Petri nets, but such a description is not sufficiently user-friendly. Our idea is to define these 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 net of the resulting system is translated into a specific target representation called Petri Nets Byte Code (PNBC). These codes are interpreted by the special Petri Nets Virtual Machines (PNVM), which are installed on all nodes of the system under the Petri Nets Operating System (PNOS). This paper deals with the one step of this process, which is an implementation of required transformations from workflow model into Petri nets with the help of XSLT.

Klíčová slova

Petri nets, transformations, workflow modelling, agents

Rok
2017
Strany
43–54
Sborník
DATESO 2017
Konference
Databases, Texts, Specifications, and Objects
ISBN
978-80-01-06138-1
Vydavatel
Faculty of Electrical Engineering, Czech Technical University
Místo
Praha
EID Scopus
2-s2.0-85076116295
BibTeX 
@inproceedings{BUT155087,
  author="{} and  {} and Tomáš {Richta} and Vladimír {Janoušek}",
  title="Model Transformations via XSLT",
  booktitle="DATESO 2017",
  year="2017",
  pages="43--54",
  publisher="Faculty of Electrical Engineering, Czech Technical University",
  address="Praha",
  isbn="978-80-01-06138-1"
}
Projekty
Bezpečné a spolehlivé počítačové systémy, VUT, Vnitřní projekty VUT, FIT-S-17-4014, zahájení: 2017-03-01, ukončení: 2020-02-29, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru