• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>Communicating process architectures 2009 >Relating and Visualising CSP, VCR and Structural Traces
【24h】

Relating and Visualising CSP, VCR and Structural Traces

机译：关联和可视化CSP，VCR和结构迹线

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

As well as being a useful tool for formal reasoning, a trace can provide insight into a concurrent program'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'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.
机译：跟踪不仅可以用作形式推理的有用工具，而且可以洞察并发程序的行为，尤其是在运行时分析和调试的目的上。长时间运行的程序往往会产生大量痕迹，而这些痕迹可能难以理解和可视化。我们检查了三种类型的迹线（CSP，VCR和结构性迹线）之间的关系，建立了排序并描述了迹线类型之间转换的方法。结构痕迹保留了组成的结构并揭示了各个过程的重复，因此非常适合可视化。我们引入饥饿的哲学家来激发结构痕迹的价值，以便对程序规范中不易预测的行为进行推理。剩下的挑战是将结构跟踪集成到更正式的环境中，例如“编程统一理论”-但是，结构跟踪确实为分析大型系统提供了有用的框架。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

  • 客服微信

  • 服务号