Publication detail

Automatically Generated CSP Specifications

ŠČUGLÍK, F., ŠVÉDA, M.

Original Title

Automatically Generated CSP Specifications

English Title

Automatically Generated CSP Specifications

Type

journal article - other

Language

en

Original Abstract

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.

English abstract

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.

Keywords

CSP, Model, Formal Specification, UML, Translator, Grammar

RIV year

2003

Released

16.12.2003

ISBN

0948-6968

Periodical

Journal of Universal Computer Science

Year of study

9

Number

11

State

AT

Pages from

1277

Pages to

1295

Pages count

19

Documents

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" }