Detail publikace

Automatically Generated CSP Specifications

Originální název

Automatically Generated CSP Specifications

Anglický název

Automatically Generated CSP Specifications

Jazyk

en

Originální abstrakt

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.

Anglický abstrakt

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.

BibTex


@article{BUT42298,
  author="František {Ščuglík} and Miroslav {Švéda}",
  title="Automatically Generated CSP Specifications",
  annote="

Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced using either behavioral diagrams or application source code. While in the first approach a tool generates CSP specification from behavioral diagrams, based on UML Composite States diagram, in the second approach an application source code is translated directly into CSP specification using a compiler. This paper reviews tools related to both techniques.", booktitle="Journal of Universal Computer Science", chapter="42298", journal="Journal of Universal Computer Science", number="11", volume="9", year="2003", month="december", pages="1277--1295", type="journal article - other" }