Publication Details

Automatically Generated CSP Specifications

ŠČUGLÍK František and ŠVÉDA Miroslav. Automatically Generated CSP Specifications. In: Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003. Huntsville, AL: University of Stirling, 2003, pp. 41-47. ISBN 1-85769-189X.
Czech title
Automaticky generované CSP specifikace
Type
conference paper
Language
english
Authors
Ščuglík František, Ing., Ph.D. (DIFS FIT BUT)
Švéda Miroslav, prof. Ing., CSc. (DIFS FIT BUT)
Keywords

Formal specifications, CSP, reuse, reverse engineering

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
41-47
Proceedings
Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003
Conference
IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, AL, US
ISBN
1-85769-189X
Publisher
University of Stirling
Place
Huntsville, AL, US
BibTeX 
@INPROCEEDINGS{FITPUB7158,
   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 = "41--47",
   booktitle = "Proceedings of the IEEE TC-ECBS and IFIP WG10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, 2003",
   year = 2003,
   location = "Huntsville, AL, US",
   publisher = "University of Stirling",
   ISBN = "1-85769-189X",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7158"
}
Back to top