Automated Construction of Model of Concurrency in Business Process Modeling

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F03%3A00008426" target="_blank" >RIV/61989100:27240/03:00008426 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Automated Construction of Model of Concurrency in Business Process Modeling

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 Concurrency in Business Process Modeling

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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

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ů

Název statě ve sborníku

ECEC 2003

ISBN

ISBN 90-77381-0

ISSN

—

e-ISSN

—

Počet stran výsledku

6

Strana od-do

100-105

Název nakladatele

EUROSIS

Místo vydání

Ghent

Místo konání akce

Ghent, be

Datum konání akce

1. 1. 2003

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

WRD - Celosvětová akce

Kód UT WoS článku

—