Difference between revisions of "The Tracer"

From WeizmannWiki
Jump to: navigation, search
(References)
 
(One intermediate revision by one user not shown)
Line 1: Line 1:
 
The Tracer is a prototype tool for scenario-based trace visualization and exploration.
 
The Tracer is a prototype tool for scenario-based trace visualization and exploration.
  
The Tracer presents a rich and highly dynamic technique for analyzing, visualizing, and exploring the execution traces of reactive systems. The two inputs are a designer's inter-object scenario-based behavioral model, visually described using a UML2-compliant dialect of [[live sequence charts]] (LSC), and an execution trace of the system. Our method allows one to visualize, navigate through, and explore, the activation and progress of the scenarios as they "come to life" during execution. Thus, a concrete system's runtime is recorded and viewed through abstractions provided by behavioral models used for its design, tying the visualization and exploration of system execution traces to model-driven engineering. The Tracer supports both event-based and real-time-based tracing, and use details-on-demand mechanisms, multi-scaling grids, and gradient coloring methods. Novel model exploration techniques include semantics-based navigation, filtering, and trace comparison.
+
It embodies a dynamic technique for analyzing, visualizing, and exploring the execution traces of reactive systems. The two inputs are a designer's inter-object scenario-based behavioral model, visually described using a set of [[live sequence charts]] (LSC), and an execution trace of the system. The Tracer allows one to visualize, navigate through, and explore, the activation and progress of the scenarios as they "come to life" during execution. Thus, a concrete system's runtime is recorded and viewed through abstractions provided by behavioral models used for its design, tying the visualization and exploration of system execution traces to model-driven engineering. The Tracer supports both event-based and real-time-based tracing, and uses details-on-demand mechanisms, multi-scaling grids, and gradient coloring methods. Novel model exploration techniques include semantic-based navigation, filtering, and trace comparison.
 
+
The Gantt views are implemented using the open source [http://www.jaret.de/timebars/  jaret timebars].  We thank Peter Kliem for his support.
+
 
+
The first version of the Tracer prototype was designed and programmed by Asaf Kleinbort and [http://www.se-rwth.de/~maoz/ Shahar Maoz] (2007).    A second major version was programmed by Evyatar Shoresh (2009).
+
  
 
The [[Tracer's gallery]] features screen captures from several case study applications.
 
The [[Tracer's gallery]] features screen captures from several case study applications.
 
More on the Tracer can be found in the references below.  As of 2010, the Tracer is integrated into [[PlayGo]].
 
  
 
== References ==
 
== References ==
  
*[http://www.se-rwth.de/~maoz/ Shahar Maoz] and [http://www.wisdom.weizmann.ac.il/~harel/ David Harel]: '''On tracing reactive systems'''. ''Software and Systems Modeling'' (SoSyM),  2010. DOI= 10.1007/s10270-010-0151-2
+
* The Tracer's Gantt views are implemented using the open source [http://www.jaret.de/timebars/ jaret timebars].
  
*[http://www.se-rwth.de/~maoz/ Shahar Maoz]: '''Using Model-Based Traces as Runtime Models'''. ''IEEE Computer'' 42(10): 28-36 (2009)
+
* Maoz and Harel, [http://dx.doi.org/10.1007/s10270-010-0151-2 '''On tracing reactive systems''']. ''Software and Systems Modeling'' (SoSyM),  2010.
  
*[http://www.se-rwth.de/~maoz/ Shahar Maoz]: '''Model-Based Traces'''. ''MoDELS Workshops'' 2008: 109-119
+
* Maoz, [http://doi.ieeecomputersociety.org/10.1109/MC.2009.336 '''Using Model-Based Traces as Runtime Models''']. ''IEEE Computer'' 42(10): 28-36 (2009)
  
*[http://www.se-rwth.de/~maoz/ Shahar Maoz], Asaf Kleinbort, and [http://www.wisdom.weizmann.ac.il/~harel/ David Harel]: '''Towards Trace Visualization and Exploration for Reactive Systems'''. ''VL/HCC'' 2007: 153-156
+
* Maoz, [http://dx.doi.org/10.1007/978-3-642-01648-6_12 '''Model-Based Traces''']. ''MoDELS Workshops'' 2008: 109-119

Latest revision as of 09:44, 23 November 2010

The Tracer is a prototype tool for scenario-based trace visualization and exploration.

It embodies a dynamic technique for analyzing, visualizing, and exploring the execution traces of reactive systems. The two inputs are a designer's inter-object scenario-based behavioral model, visually described using a set of live sequence charts (LSC), and an execution trace of the system. The Tracer allows one to visualize, navigate through, and explore, the activation and progress of the scenarios as they "come to life" during execution. Thus, a concrete system's runtime is recorded and viewed through abstractions provided by behavioral models used for its design, tying the visualization and exploration of system execution traces to model-driven engineering. The Tracer supports both event-based and real-time-based tracing, and uses details-on-demand mechanisms, multi-scaling grids, and gradient coloring methods. Novel model exploration techniques include semantic-based navigation, filtering, and trace comparison.

The Tracer's gallery features screen captures from several case study applications.

References

  • The Tracer's Gantt views are implemented using the open source jaret timebars.