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