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