Speaker: Shahar Maoz

Title:
Scenario-Based Trace Visualization and Exploration for Reactive Systems

Authors:
Shahar Maoz, Asaf Kleinbort, David Harel
The Weizmann Institute of Science

Abstract:

We present preliminary work on a dynamic technique for the visualization
and exploration of the execution traces of reactive systems. The input is
a designer's inter-object scenario-based behavioral model, given as a set
of UML2-compliant live sequence charts (LSC), and a scenario-based
execution trace of the system. Our method allows one to visualize, and
navigate through, the activation and progress of the scenarios given in
the charts as they "come to life" during execution. Thus, we tie the
visualization of system execution traces with model-driven design. Among
other things, we support both event-based and real-time-based tracing, and
use details-on-demand mechanisms, multi-scaling grids, and gradient
coloring methods. We have implemented and tested our ideas in a
prototype tool called the Tracer (see
http://www.wisdom.weizmann.ac.il/~maozs/tracer/).

The work was presented at VL/HCC 2007.