Model Transformations via XSLT

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F17%3APU130779" target="_blank" >RIV/00216305:26230/17:PU130779 - isvavai.cz</a>

Nalezeny alternativní kódy

RIV/68407700:21230/17:00311435

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Model Transformations via XSLT

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Model Transformations via XSLT

Popis výsledku anglicky

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.

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

S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2017

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

DATESO 2017

ISBN

978-80-01-06138-1

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

43-54

Název nakladatele

Faculty of Electrical Engineering, Czech Technical University

Místo vydání

Praha

Místo konání akce

Jihlava

Datum konání akce

10. 4. 2017

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

EUR - Evropská akce

Kód UT WoS článku

—