Result Details
Using CSP in Description of Workflow Processes
SEDLÁČKOVÁ, J. Using CSP in Description of Workflow Processes. Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4. Brno: Faculty of Information Technology BUT, 2008. p. 423-427. ISBN: 978-80-214-3617-6.
Type
conference paper
Language
English
Authors
Sedláčková Jana, RNDr., Ph.D.
Abstract
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.
Keywords
Commicationg sequential processes (CSP), Workflow process, Behaviour diagram
Published
2008
Pages
423–427
Proceedings
Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4
Conference
Student EEICT 2008
ISBN
978-80-214-3617-6
Publisher
Faculty of Information Technology BUT
Place
Brno
BibTeX
@inproceedings{BUT30495,
author="Jana {Sedláčková}",
title="Using CSP in Description of Workflow Processes",
booktitle="Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4",
year="2008",
pages="423--427",
publisher="Faculty of Information Technology BUT",
address="Brno",
isbn="978-80-214-3617-6"
}
Projects
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments