Using CSP in Description of Workflow Processes
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76757" target="_blank" >RIV/00216305:26230/08:PU76757 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Using CSP in Description of Workflow Processes
Original language description
In this paper is described an idea how to take use of communicating sequential processes (CSP) formal specification in description of workflow processes. Concretely how to use CSP for description of workflow processes which are represents through the behaviour diagrams. The method will be presented on one practical example of workflow process.<br>
Czech name
Použití CSP v popisu workflow procesů
Czech description
V tomto příspěvku je popsána myšlenka, jak by bylo možné využít formální specifikaci CSP pro popis workflow procesů. Přesněji řečeno, jak využít VSP pro popis workflow procesů, jež jsou zobrazeny pomocí diagramů chování. Tato metoda bude představena na jednom praktickém příkladu workflow procesu.
Classification
Type
D - Article in proceedings
CEP classification
JC - Computer hardware and software
OECD FORD branch
—
Result continuities
Project
—
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2008
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
Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4
ISBN
978-80-214-3617-6
ISSN
—
e-ISSN
—
Number of pages
5
Pages from-to
—
Publisher name
Faculty of Information Technology BUT
Place of publication
Brno
Event location
FEKT VUT v Brně
Event date
Apr 24, 2008
Type of event by nationality
CST - Celostátní akce
UT code for WoS article
—