Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 9 / Issue 11

available in:   PDF (163 kB) PS (288 kB)
Similar Docs BibTeX   Write a comment
Links into Future


Automatically Generated CSP Specifications

Frantisek Scuglik (Brno University of Technology, Czech Republic)

Miroslav Sveda (Brno University of Technology, Czech Republic)

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, UML, formal specification, grammar, model, translator

Categories: I.6.4