Paper Details

%T Relating and Visualising CSP, VCR and Structural Traces
%A Neil C.C. Brown, Marc L. Smith
%E Peter H. Welch, Herman Roebbers, Jan F. Broenink, Frederick R. M. Barnes, Carl G. Ritson, Adam T. Sampson, G. S. Stiles, Brian Vinter
%B Communicating Process Architectures 2009
%X As well as being a useful tool for formal reasoning, a trace
   can provide insight into a concurrent program\[rs]s
   behaviour, especially for the purposes of run\-time analysis
   and debugging. Long\-running programs tend to produce large
   traces which can be difficult to comprehend and visualise.
   We examine the relationship between three types of traces
   (CSP, VCR and Structural), establish an ordering
   and describe methods for conversion between the trace types.
    Structural traces preserve the structure of composition and
   reveal the repetition of individual processes, and are thus
   well\-suited to visualisation. We introduce the Starving
   Philosophers to motivate the value of structural traces for
   reasoning about behaviour not easily predicted from a
   program\[rs]s specification. A remaining challenge is to
   integrate structural traces into a more formal setting, such
   as the Unifying Theories of Programming \-\- however,
   structural traces do provide a useful framework for
   analysing large systems.

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.