Publication detail

Automatically Generated CSP Specifications

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

Original Title

Automatically Generated CSP Specifications

Type

journal article - other

Language

English

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.

Keywords

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

Authors

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

RIV year

2003

Released

16. 12. 2003

ISBN

0948-6968

Periodical

Journal of Universal Computer Science

Year of study

9

Number

11

State

Republic of Austria

Pages from

1277

Pages to

1295

Pages count

19

BibTex

@article{BUT42298,
  author="František {Ščuglík} and Miroslav {Švéda}",
  title="Automatically Generated CSP Specifications",
  journal="Journal of Universal Computer Science",
  year="2003",
  volume="9",
  number="11",
  pages="1277--1295",
  issn="0948-6968"
}