%T A Graphical Modeling Language for Specifying Concurrency based on CSP
%A  Gerald H. Hilderink
%E  James S. Pascoe,  Roger J. Loader,  Vaidy S. Sunderam
%B Communicating Process Architectures 2002
%X In this paper, we introduce a graphical specification
   language for modeling concurrency in software design. The
   language notations are derived from CSP and the resulting
   designs form so\-called CSP diagrams. The notations reflect
   data\-flow aspects, control\-flow aspects, and they reflect
   CSP algebraic expressions that can be used for formal
   analysis. The designer does not have to be aware of the
   underlying mathematics. The techniques and rules presented
   provide guidance to the development of concurrent software
   architectures. One can detect and reason about compositional
   conflicts (errors in design), potential deadlocks (errors at
   run\-time), and priority inversion problems (performance
   burden) at a high level of abstraction. The CSP diagram
   collaborates with object\-oriented and structured methods.
   The CSP diagram is UMLable and can be presented as a new
   process diagram for the UML to capture concurrent,
   real\-time, and event\-flow oriented software architectures.
   The extension to the UML is not presented in this paper.