gCSP: A Graphical Tool for Designing CSP systems
D. Jovanovic, Bojan Orlić, Geert K. Liet, Jan F. Broenink · University of Twente Research Information · 2004
Abstract. For broad acceptance of an engineering paradigm, a graphical notation and a supporting design tool seem necessary. This paper discusses certain issues of developing a design environment for building systems based on CSP. Some of the issues discussed depend specifically on the underlying theory of CSP, while a number of them are common for any graphical notation and supporting tools, such as provisions for complexity management and design overview. 1.