Search
 
loader loading subjects...
cover
Adding CSPm Functions and Data Types to CSP++
Daniel Garner, Markus Roggenbach, W.B. Gardner
43 - 66
10.3233/978-1-61499-886-0-43
Concurrent Systems Engineering Series
Volume 69: Communicating Process Architectures 2015 & 2016
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.

$35.00 / €27.50 / £22.00
Add PDF to cart