JUCS - Journal of Universal Computer Science 9(11): 1277-1295, doi: 10.3217/jucs-009-11-1277
Automatically Generated CSP Specifications
expand article infoFrantisek Scuglik‡, Miroslav Sveda
‡ Brno University of Technology, Brno, Czech Republic

Corresponding author: Frantisek Scuglik ( scuglik@fit.vutbr.cz )

© Frantisek Scuglik, Miroslav Sveda.
This article is freely available under the J.UCS Open Content License.
Citation: Scuglik F, Sveda M (2003) Automatically Generated CSP Specifications. JUCS - Journal of Universal Computer Science 9(11): 1277-1295. https://doi.org/10.3217/jucs-009-11-1277
Open Access
Abstract
Two possibilities of automated CSP (Communicating Sequential Processes) support are introduced in [11] and [10] 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.
Keywords
CSP, model, formal specification, UML, translator, grammar