Detail publikace

Automatically Generated CSP Specifications

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

Originální název

Automatically Generated CSP Specifications

Typ

článek v časopise - ostatní, Jost

Jazyk

angličtina

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.

Klíčová slova

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

Autoři

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

Rok RIV

2003

Vydáno

16. 12. 2003

ISSN

0948-6968

Periodikum

Journal of Universal Computer Science

Ročník

9

Číslo

11

Stát

Rakouská republika

Strany od

1277

Strany do

1295

Strany počet

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