Graphical modelling language for spycifying concurrency based on CSP

Share/Save/Bookmark

Hilderink, G.H. (2003) Graphical modelling language for spycifying concurrency based on CSP. IEE Proceedings: Software, 150 (2). pp. 108-120. ISSN 1462-5970

open access
[img]
Preview
PDF
320kB
Abstract:Introduced in this (shortened) paper is a graphical modelling 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 of concurrent software architectures. These designs can automatically be described by 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 objectoriented modelling languages and structured methods.
Item Type:Article
Additional information:Speciaal Issue on CPA 2002
Copyright:© 2003 IEE
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/45644
Official URL:http://dx.doi.org/10.1049/ip-sen:20030132
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page

Metis ID: 212803