@InProceedings{VolkerinkHilderink00,
  title =        "{CSP} {D}esign {M}odel and {T}ool {S}upport",
  author=        "Volkerink,  H. J. and Hilderink,  Gerald H. and Broenink,  Jan F. and Veroort,  W.A. and Bakkers,  Andr\`{e} W. P.",
  editor=        "Welch, Peter H. and Bakkers,  Andr\`{e} W. P.",
  pages =        "33--48",
  booktitle=     "{C}ommunicating {P}rocess {A}rchitectures 2000",
  isbn=          "1 58603 077 9",
  year=          "2000",
  month=         "sep",
  abstract=      "The CSP paradigm is known as a powerful concept for
     designing and analysing the architectural and behavioural
     parts of concurrent software. Although the theory of CSP is
     useful for mathematicians, the programming language occam
     has been derived from CSP that is useful for any engineering
     practice. Nowadays, the concept of occam/CSP can be used for
     almost every object-oriented programming language. This
     paper describes a tree-based description model and prototype
     tool that elevates the use of occam/CSP concepts at design
     level and performs code generation for the level of
     implementation in Java, C/C++, and machine-readable CSP. The
     tool is a kind of browser that is able to assist modern
     workbenches (like Borland Builder, Microsoft Visual C++ and
     20-SIM) with coding concurrency. The tree description model
     can be used to browse through the generated source code. The
     tool will guide the user through the design trajectory using
     supporting messages and several semantic and syntax rule
     checks. The machine-readable CSP can be read by FDR,
     enabling more advanced analysis on the design. Early
     experiments with the prototype tool show that the browser
     concept, combined with the tree description model, enables a
     user-friendly way to create a design using the CSP concepts
     and benefits. The design tool is available from our URL,
     http://www.rt.el.utwente.nl/javapp."
}