%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.
If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.
Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org