%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.
Pages © WoTUG, or the indicated author. All Rights Reserved.
Comments on these web pages should be addressed to: www at wotug.org