Publication Details

Automatically Generated CSP Specifications

ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. Journal of Universal Computer Science, vol. 9, no. 11, 2003, pp. 1277-1295. ISSN 0948-6968.

Czech title

Automaticky generované CSP specifikace

Type

journal article

Language

english

Authors

Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)

Keywords

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

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.

Published

2003

Pages

1277-1295

Journal

Journal of Universal Computer Science, vol. 9, no. 11, ISSN 0948-6968

Book

Journal of Universal Computer Science

Publisher

Springer Verlag

BibTeX

@ARTICLE{FITPUB7351,
   author = "Franti\v{s}ek \v{S}\v{c}ugl\'{i}k and Miroslav \v{S}v\'{e}da",
   title = "Automatically Generated CSP Specifications",
   pages = "1277--1295",
   booktitle = "Journal of Universal Computer Science",
   journal = "Journal of Universal Computer Science",
   volume = 9,
   number = 11,
   year = 2003,
   ISSN = "0948-6968",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7351"
}