Towards Trace Visualization and Exploration for Reactive Systems

Authors:
Shahar Maoz;Asaf Kleinbort;David Harel
Affiliations:
The Weizmann Institute of Science, Israel;The Weizmann Institute of Science, Israel;The Weizmann Institute of Science, Israel
Venue:
VLHCC '07 Proceedings of the IEEE Symposium on Visual Languages and Human-Centric Computing
Year:
2007

Citing 10
Cited 8

Statecharts: A visual formalism for complex systems

Science of Computer Programming
On the development of reactive systems

Logics and models of concurrent systems
Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Pad: an alternative approach to the computer interface

SIGGRAPH '93 Proceedings of the 20th annual conference on Computer graphics and interactive techniques
Readings in information visualization: using vision to think

Readings in information visualization: using vision to think
LSCs: Breathing Life into Message Sequence Charts

Formal Methods in System Design
Multiple instances and symbolic variables in executable sequence charts

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Assert and negate revisited: modal semantics for UML sequence diagrams

Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools
From multi-modal scenarios to code: compiling LSCs into aspectJ

Proceedings of the 14th ACM SIGSOFT international symposium on Foundations of software engineering
S2A: a compiler for multi-modal UML sequence diagrams

FASE'07 Proceedings of the 10th international conference on Fundamental approaches to software engineering

Visualizing inter-dependencies between scenarios

Proceedings of the 4th ACM symposium on Software visualization
Model-Based Traces

Models in Software Engineering
Finding race conditions in Erlang with QuickCheck and PULSE

Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Model-Based Testing Using LSCs and S2A

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Visualizing threads, transactions and tasks

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
A Compiler for Multimodal Scenarios: Transforming LSCs into AspectJ

ACM Transactions on Software Engineering and Methodology (TOSEM)
On tracing reactive systems

Software and Systems Modeling (SoSyM)
Polymorphic scenario-based specification models: semantics and applications

Software and Systems Modeling (SoSyM)

Quantified Score

Hi-index	0.00

Visualization

Abstract

The design and development of reactive systems [10], discrete-event systems that maintain ongoing interaction with their environment, is a complex and challenging task. One way to address it is to use visual formalisms to model and describe the system's behavior. Two complementary approaches to model the behavior of reactive systems have been proposed -- state-based intra-object modeling and scenario-based inter-object modeling -- with corresponding visual languages [5, 7].