Automated Construction of Model of Concurrent Processes
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F03%3A00008427" target="_blank" >RIV/61989100:27240/03:00008427 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Automated Construction of Model of Concurrent Processes
Popis výsledku v původním jazyce
This paper shows possibility for automated construction of model of concurrency in business process modeling. It is hard examine a business process and construct model of concurrency manually. We are developing method that allows constructing the model of concurrency automatically. As an input data for the method we use the specification of inputs and outputs for activities included in a process. From this specification we can construct higher dimensional automata represented by Chu spaces.
Název v anglickém jazyce
Automated Construction of Model of Concurrent Processes
Popis výsledku anglicky
This paper shows possibility for automated construction of model of concurrency in business process modeling. It is hard examine a business process and construct model of concurrency manually. We are developing method that allows constructing the model of concurrency automatically. As an input data for the method we use the specification of inputs and outputs for activities included in a process. From this specification we can construct higher dimensional automata represented by Chu spaces.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2003
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
ISIM '03
ISBN
ISBN 80-85988-8
ISSN
—
e-ISSN
—
Počet stran výsledku
9
Strana od-do
25-33
Název nakladatele
MARQ
Místo vydání
Ostrava
Místo konání akce
Brno
Datum konání akce
1. 1. 2003
Typ akce podle státní příslušnosti
EUR - Evropská akce
Kód UT WoS článku
—