Detail publikačního výsledku

Automatically Generated CSP Specifications

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

Originální název

Automatically Generated CSP Specifications

Anglický název

Automatically Generated CSP Specifications

Druh

Článek recenzovaný mimo WoS a Scopus

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.

Anglický 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

Klíčová slova v angličtině

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

Autoři

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

Rok RIV

2011

Vydáno

16.12.2003

Kniha

Journal of Universal Computer Science

ISSN

0948-6968

Periodikum

JOURNAL OF UNIVERSAL COMPUTER SCIENCE

Svazek

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