Adding CSPm Functions and Data Types to CSP++
Garner Daniel, Roggenbach Markus, Gardner W.B. · IOS Press eBooks · 2018
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.