Detail publikace

Using CSP in Description of Workflow Processes

Originální název

Using CSP in Description of Workflow Processes

Anglický název

Using CSP in Description of Workflow Processes

Jazyk

en

Originální abstrakt

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.

Anglický abstrakt

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.

BibTex


@inproceedings{BUT30495,
  author="Jana {Sedláčková}",
  title="Using CSP in Description of Workflow Processes",
  annote="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.",
  address="Faculty of Information Technology BUT",
  booktitle="Proceedings of the 14th Conference and Competition STUDENT EEICT 2008 Volume 4",
  chapter="30495",
  edition="NEUVEDEN",
  howpublished="print",
  institution="Faculty of Information Technology BUT",
  year="2008",
  month="april",
  pages="423--427",
  publisher="Faculty of Information Technology BUT",
  type="conference paper"
}