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
Open Access
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.
CSP, model, formal specification, UML, translator, grammar