A graphical Specification Language for Modeling Concurrency based on CSP


Hilderink, Gerald H. (2002) A graphical Specification Language for Modeling Concurrency based on CSP. In: 25th World Occam and Transputer User Group Technical Meeting, WoTUG 2002, 15-18 September 2002, Reading, UK (pp. pp. 255-284).

open access
Abstract:Introduced in this paper is a new graphical modeling language for specifying concurrency in software designs. The language notations are derived from CSP and the resulting designs form CSP diagrams. The notations reflect both data-flow and control-flow aspects, as well as along with 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 modeling languages and structured methods.
Item Type:Conference or Workshop Item
Copyright:© 2002 IOS Press
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/43829
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page

Metis ID: 207506