Paper Details

Communicating Process Architectures (CPA)
 Title: SystemCSP - Visual Notation
 Conference: Communicating Process Architectures 2006
 Authors: Bojan Orlica, Jan F. Broeninkb
(a) Control Engineering, Faculty of EE-Math-CS, University of Twente
(b) Robotics and Mechatronics, CTIT Institute, University of Twente
 Abstract: This paper introduces SystemCSP - a design methodology based on a visual notation that can be mapped onto CSP expressions. SystemCSP is a graphical design specification language aimed to serve as a basis for the specification of formally verifiable component-based designs of distributed real-time systems. It aims to be a graphical formalism that covers various aspects needed for the design of distributed real-time systems in single framework. 
Files:


BibTeX Entry


Full paper