Paper Details

Communicating Process Architectures (CPA)
 Title: Adding CSPm Functions and Data Types to CSP++
 Conference: Communicating Process Architectures 2015
 Authors: Daniel Garnera, Markus Roggenbachb, William B. Gardnerc
(a) BT, Adastral Park
(b) Department of Computer Science, Swansea University
(c) School of Computer Science, University of Guelph
 Abstract: This work extends the subset of CSPm that can be translated to C++ using the tool CSP++. Specifications can now contain user defined functions, make limited use of set and sequence data, and utilise built-in CSPm functions that operate on such data. An extended development paradigm is suggested, based on applying transformational methods from UML to C++. All techniques are demonstrated over three case-study examples.

 
Files:


BibTeX Entry


Full paper


Presentation